// unknown-option.slang

//TEST:SIMPLE:-destroy-all-humans