fun f x y = __builtin "exit" (__builtin "sub" (x, y))

val _ = f 60 18