- must return the translated case, with OUTPUT_VALUE_CNT values,
- and populate it based on INPUT and auxiliary data AUX.
- TRANSLATE must destroy its input case.
+ must return the translated case, and populate it based on
+ INPUT and auxiliary data AUX. TRANSLATE must destroy its
+ input case.
+
+ The cases returned by TRANSLATE must match OUTPUT_PROTO.