#include "SYS.h" SYS_call_3(write)