val _ = __builtin "exit" (__builtin "mul" (6, 7))