typespec: lseek