<0x42>