pub const DW_AT_encoding: u32 = 62; // 62u32