import sys

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