write(a), write(b), false.
halt.