undefined_symbol_warning
extern void undefined_symbol_warning(char *);
undefined_symbol_warning(bp->name);