#include "unify.h"
void Unify_Close( void );
When a worker process has finished execution, it calls
Unify_Close(3) to indicate to other Unify worker
processes that it is no longer taking part in the Unify program.
none
There are certain race conditions in which a process calling
Unify_Close() at the end of a program may not terminate.