import ("libm3")
implementation ("int")
program ("int")