{"ast_node_type":"other","tokens":[{"end":47,"kind":"keyword","start":0,"text":"pub"}]}
pub macro throw_machine_stop_str($($tt:tt)*) {{
/// (These will never be shown to the user, but they help diagnose ICEs.)
    // We make a new local type for it. The type itself does not carry any information,