extsw|RA <- EXTSX(RS, 32)|
 """]]
 
-TODO value 1:
+TODO value 1: e.g. 0xA000000090000A93
 
 [[!table  data="""
 func |pcode              | XLEN=64 | XLEN=32 | XLEN=16 | XLEN=8 |
 extsw|RA <- EXTSX(RS, 32)| example | example | example | example |
 """]]
 
-TODO value 2:
+TODO value 2: e.g. 0x000000000000F074
 
 [[!table  data="""
 func |pcode              | XLEN=64 | XLEN=32 | XLEN=16 | XLEN=8 |
 extsw|RA <- EXTSX(RS, 32)| example | example | example | example |
 """]]
 
-TODO value 3:
+TODO value 3: e.g. 0x0000000000000091
 
 [[!table  data="""
 func |pcode              | XLEN=64 | XLEN=32 | XLEN=16 | XLEN=8 |