{"ast_node_type":"other","tokens":[{"end":61,"kind":"keyword","start":0,"text":"(num"}]}
        (num as u64).to_base(CASE_INSENSITIVE).to_uppercase()
    if let Some(num) = num.checked_sub(1) {
    } else {