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