Forgot to add in 531b679 "Update task.c: remove pushes with no pops; esp -> esp0"