0xf3fffffff
