{"ast_node_type":"other","tokens":[{"end":3,"kind":"keyword","start":0,"text":"//!"}]}
//!
//! "folding" an existing one), create a new ID using `next_id()`.
//! You must ensure that IDs are unique. That means that you should only use the