#include "SYS.h"

/* pid = vfork() */
RSYSCALL(vfork)