0xfffffffffdba317c