(*)
(* 7)
(* 2 3 4)
(* 1.0)
(* 2.0 1.5)
(* -2 0)