{"ast_node_type":"other","tokens":[{"end":64,"kind":"keyword","start":0,"text":"result"}]}
                result |= <$int_ty>::from(byte & 0x7F) << shift;
                byte = decoder.read_u8();
                shift = shift.debug_strict_add(7);