// unknown-output-format.slang

//TEST:SIMPLE:-o cookies.jar