#ifndef TESTPROC_H
#define TESTPROC_H
#include <stdint.h>
#include <stddef.h>
#include "libc.h"
#include "system.h"
#include "test_util.h"
void test_processes(int argc, char *argv[]);
#endif