ANNEX XICONFORMITY TO TYPE WITH RANDOM CHECKING

(module C)