7400: more abstract !