11017 lseek(31, 1024000, SEEK_SET)      = 1024000
11017 lseek(31, 1024256, SEEK_SET)      = 1024256
7574  lseek(3, 0, SEEK_SET)             = 0
7574  lseek(4, 0, SEEK_SET)             = 0
11017 lseek(31, 1024, SEEK_CUR)      = 1024
11017 lseek(6, 512, SEEK_END)      = 512
