contract_event_dump
contract_event_dump(stdout, ev, opt_Verbose);
contract_event_dump(stdout, ev, verbose);
extern void contract_event_dump(FILE *, ct_evthdl_t, int);