{"ast_node_type":"other","tokens":[{"end":55,"kind":"keyword","start":0,"text":"check!(T,"}]}
            check!(T, VAL5.wrapping_mul(black_box(2)));
            check!(T, VAL4.wrapping_mul(black_box(2)));