Taking care of symbols defined in save.c