* alloc.c (free_save_value): New function.