dd 0x00000000, 0x0000F200 ; 0x20: 64-bit User Data
dd 0x00000000, 0x0040FA00 ; 0x38: 32-bit User Code
dd 0x00000000, 0x0040F200 ; 0x30: 32-bit User Data
dd 0x00000000, 0x0000F200 ; 0x20: 64-bit User Data
dd 0x00000000, 0x0040FA00 ; 0x38: 32-bit User Code
dd 0x00000000, 0x0040F200 ; 0x30: 32-bit User Data