#include <syscall.h>
int main(int argc, char * argv[]) {
int x[] = {0xFF,0xFF};
return syscall_system_function(13, (char **)x);
}