{"ast_node_type":"other","tokens":[{"end":37,"kind":"keyword","start":0,"text":"64"}]}
            64 => InlineAsmType::I64,
            32 => InlineAsmType::I32,
            width => bug!("unsupported pointer width: {width}"),