proc lseek(fd: int; position: int64; whence: int): int64 {....raises: [OSError],
    tags: [], forbids: [].}