The notation for player death appears to be "JIGS-UP". Glad to see the classic Infocom sense of humor is present in the codebase too.