0xfffffffffb1be7fc