#include <sys/wait.h>
#include <syscall.h>

pid_t wait(int* code)
{
    return syscall1(SYS_wait, (uint32_t)code);
}