import "Prelude"
import "Vector"

main = (fromDynamic (toDynamic (mvector [42.0]))) :: [Integer]
--
[42]