0xb17c-0x42