/* phase2.h -- header file for users of phase2.c */

void phase2();