Magic constant 0x8000? Could we have define instead?