Compare aptr and bptr, if they don't stack, either shift a or b. If they do stack, push the max( , ) min( , ) then increment either A or B