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