Manual de-clobbering for ebx