dtrace_assfail
extern int dtrace_assfail(const char *, const char *, int);
dtrace_assfail(#EX, __FILE__, __LINE__)))