lab 1 fixes PUSH10