#include "copyright.h"
#include "system.h"
#include "addrspace.h"

void StartProcess(char *filename);