(module forma_4_intmath_main

  (import forma_4_intmath_lib)

  (fn main
    (type (fn-type (params) (ret (own (con Unit))) (effects IO)))
    (params)
    (body
      (seq
        (seq
          (app print (app forma_4_intmath_lib.square 7))
          (app print (app forma_4_intmath_lib.cube 3)))
        (app print (app forma_4_intmath_lib.abs_int (app - 0 42)))))))
