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

event_type phase1();