* corefile.c (core_init): Use a separate local variable,