/* Process Interface */
typedef unsigned int word_t;
void procReset();
void procRun();