0xfffffffffecf57cd