there is some kind of dissonance i need to reconcile between statements and load instructions for compound variables. the stack pointer invariant is not maintained if the compound variable being loaded has size greater than 1.