ct_pr_event_get_zcorefile
extern int ct_pr_event_get_zcorefile(ct_evthdl_t, const char **);
if (ct_pr_event_get_zcorefile(ev, &c) == 0)