add halt() system call.