store args on stack in APPLICATION and get them from stack in ABSTRACTION