{"ast_node_type":"other","tokens":[{"end":49,"kind":"keyword","start":0,"text":"//"}]}
    // FIXME work around filename too long errors
) {
    write_ir_file(output_filenames, &format!("{}.{}.clif", symbol_name, postfix), |file| {