#include <_ansi.h> #include #include #include "trap.h" _read (int file, char *ptr, size_t len) { return TRAP0 (SYS_read, file, ptr, len); }