Remove default body for Halt()