procedure halt(errnum: Byte);