(* To run on command line: math -run "<