(program 1.0.0 [ (builtin divideInteger) (con integer 5) (con integer 2) ] )