Write ev (command)

File: write_ev

Description: This program writes all the events found in the given FSM into an events data file.

Input: h.fsm - Input FSM

Output: h.events - List of events in h.fsm