// unknown-output-format.slang

//DIAGNOSTIC_TEST:SIMPLE:-o cookies.jar