#FILE double 10
59D04000000000000000000000000000
FFFFF000000000000000000000000000