#include "syscalls.h"

_syscall3(int,write,int,fd,const char *,buf,unsigned long,count)