Possible bug in memory initialization?

[eugenebrooks]

In ifi_startup.c, the routine _do_cinit() has some static variables defined with:
<<<<<<<<<<<<
_do_cinit (void)
{
/* we'll make the assumption in the following code that these statics
* will be allocated into the same bank.
*/
static short long prom;
static unsigned short curr_byte;
static unsigned short curr_entry;
static short long data_ptr;
>>>>>>>>>>>>

This is followed by a bunch of asm statements that are used to initialize static/extern memory locations. Since we have had lots of problems with static memory not behaving like it was initialized properly, I am wondering if the stated assumption in the comment, that the four static variables are allocated in the same bank, might not be valid, depending on just how much static memory is allocated in other files.

Can anyone shed some light on this issue?