Taking care of symbols defined in handler.c