pub const DW_OP_lit31: u32 = 79; // 79u32