Taking care of symbols defined in interp.c