int read(int file, char *ptr, int len) {
	return 0;
}