proc readBuffer*(f: AsyncFile, buf: pointer, size: int): Future[int] = discard