// unknown-option.slang

//DIAGNOSTIC_TEST:SIMPLE:-destroy-all-humans