BUG_REL
BUG_REL(unsigned long, bug_addr);
BUG_REL(const char *, format);
BUG_REL(const char *, file);