(bind-func print_planet (lambda (p:planet*) (printf "x[%E] y[%E] z[%E]\n" (tref p 0) (tref p 1) (tref p 2)) (printf "vx[%E] vy[%E] vz[%E]\n" (tref p 3) (tref p 4) (tref p 5)) (printf "mass[%E]\n\n" (tref p 6))))