#include "SYS.h"
RSYSCALL(write)
