#include <stddef.h>
#include <sys/syscall.h>
#include <sys/types.h>
#include <sys/sched.h>

/* Fork the current process */
pid_t
fork(void)
{
	return clone(CLONE_NONE);
}