Do not try to verify that the stack points correctly in FILL_STACK when d_flag is set. It will not be, since that is the funciton that actually initializes the locals.