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

val _ = f (40, 2)