{"ast_node_type":"other","tokens":[{"end":73,"kind":"keyword","start":0,"text":"///"}]}
/// (These will never be shown to the user, but they help diagnose ICEs.)
/// Macro for machine-specific `InterpError` without allocation.
pub macro throw_machine_stop_str($($tt:tt)*) {{