{"ast_node_type":"other","tokens":[{"end":30,"kind":"keyword","start":0,"text":"options:"}]}
    options: InlineAsmOptions,
    operands: &[InlineAsmOperand<'tcx>],
    destination: Option<mir::BasicBlock>,