Taking care of symbols defined in magic.c