7616 /* next op to be processed */