{"ast_node_type":"other","tokens":[{"end":39,"kind":"keyword","start":0,"text":"options:"}]}
        options: ast::InlineAsmOptions,
        operands: &[mir::InlineAsmOperand<'tcx>],
        line_spans: &[Span],