/***   routine_call.h   ***/

void call_proc(int*);
void execute_operator(int,int,int,int,int*);
void call_tail(int*);