14.2.5 operator-registry