/* FIXME - crude hack to resolve undefined global. This function is
part of support for corefiles, which is not yet implemented. */
/* FIXME - crude hack to resolve undefined global. This function is
part of support for corefiles, which is not yet implemented. */