{"ast_node_type":"other","tokens":[{"end":20,"kind":"keyword","start":0,"text":"if"}]}
        if num > 0 {
        let num = disambiguated_data.disambiguator as u64;
            s.push_str(&to_disambiguator(num));