(program
  1.0.0
  [  (builtin subtractInteger ) (con integer 7) (con integer 4) ]
)