Hi, What's the recommended way to append to a vector? The documentation says vectors are like tables, so I tried the below code, but it gives some errors. const foo: vector of double = vector() &redef; redef foo += { [|foo|] = 42.0 }; print(foo); -- David Eric Mandelberg / dseomn http://david.mandelberg.org/