module MaxIntegerTest
     use mach.java.lang.Integer
     
     let get_max_integer () : integer =
         max_integer
end