proc ftruncate(file: Positive; length: int64) {....raises: [OSError], tags: [],
    forbids: [].}

proc truncate(file: CanIOOpenT; length: Natural)