Actuall inline assertAux code.