/* Copyright 1995 Jonathan C. Hardwick */

void manager_main (int nelt);