message belonging to an implementation-defined subset of the implementation's output messages