4 .byte 0x0f, 0x1f, 0x40, 0x0
5 .byte 0x0f, 0x1f, 0x44, 0x0, 0x0
6 .byte 0x66, 0x0f, 0x1f, 0x44, 0x0, 0x0
7 .byte 0x0f, 0x1f, 0x80, 0x0, 0x0, 0x0, 0x0
8 .byte 0x0f, 0x1f, 0x84, 0x0, 0x0, 0x0, 0x0, 0x0
9 .byte 0x66, 0x0f, 0x1f, 0x84, 0x0, 0x0, 0x0, 0x0, 0x0
10 .byte 0x66, 0x2e, 0x0f, 0x1f, 0x84, 0x0, 0x0, 0x0, 0x0, 0x0