{"ast_node_type":"import","tokens":[{"end":81,"kind":"keyword","start":0,"text":"//"}]}
        // here we use the NORETURN option to determine if `dest` should be used.
        // is used (because we need to codegen callbr which always needs a destination), so
        for block in (if options.contains(InlineAsmOptions::NORETURN) { None } else { Some(dest) })