FIXED: fixed execute so that the correct label can be added for STORE and LOAD
 to the stack.