#include "system.h"
extern int sys_write(File *fp, char *bufptr, int nbytes);