contract_negend_dump
contract_negend_dump(file, ev);
extern void contract_negend_dump(FILE *, ct_evthdl_t);