-// CHECK-NEXT: ('sh_flags', 0x00000002)
-// CHECK-NEXT: ('sh_addr', 0x00000000)
-// CHECK-NEXT: ('sh_offset', 0x00000050)
-// CHECK-NEXT: ('sh_size', 0x00000030)
+// CHECK-NEXT: ('sh_flags', 0x0000000000000002)
+// CHECK-NEXT: ('sh_addr', 0x0000000000000000)
+// CHECK-NEXT: ('sh_offset', 0x0000000000000050)
+// CHECK-NEXT: ('sh_size', 0x0000000000000030)