import sys read(fd int, buffer []byte) -> int { return sys.read(fd, buffer, len(buffer)) } write(fd int, buffer []byte) -> int { return sys.write(fd, buffer, len(buffer)) }