#include int32_t next_id = 9; /* 0 through 8 are reserved for kernel operations */ int32_t make_process(char* name, char* group, elf_executable_t* exe) { if (!name || !group || !exe) { return -1; } return 0; }