Small int_exec bug fixed, pushing was done wrong