{"ast_node_type":"other","tokens":[{"end":16,"kind":"keyword","start":0,"text":"//!"}]}
//!     v6 -> v4
//!     v5 -> v3
//! ; write_cvalue: VarPair(_0, var0, var1): (u8, u8) <- ByValPair(v3, v4): (u8, u8)