See the Tests section of the specification for documentation.