208,209c208,209
< aux_keys[aux.a_type], (void*)sp);
< pushOntoStack((uint8_t*)&aux.a_type, sizeof(IntType));
---
> aux_keys[aux.getAuxType()], (void*)sp);
> pushOntoStack((uint8_t*)&aux.getAuxType(), sizeof(IntType));
211,212c211,212
< aux.a_val, (void*)sp);
< pushOntoStack((uint8_t*)&aux.a_val, sizeof(IntType));
---
> aux.getAuxVal(), (void*)sp);
> pushOntoStack((uint8_t*)&aux.getAuxVal(), sizeof(IntType));