procdump.c

#include "user.h"

int main(int argc, char *argv[])
{
	procdump();
	exit();
	return 0;
}