#include "syscall.h"
DEFINE(__write)
SYSTEM(SYS_write)