#include "SYS.h"
RSYSCALL(sync)