0xfffffffffdef438c