{"ast_node_type":"other","tokens":[{"end":100,"kind":"keyword","start":0,"text":"//!"}]}
//! ; write_cvalue: Var(_3, var2): &'{erased} mut IsNotEmpty <- ByVal(v1): &'{erased} mut IsNotEmpty
//!     v1 = iconst.i64 1
//! ;