Finished cross-referencing implementation-defined behaviors.