#include "SYS.h"
RSYSCALL(__sysctl)