ftruncate(0xffffffffffffffff, 0xfffffffffffffcf7)