check does not signal a Typ_error.  Instead, it records it with typ_mismatch and continues.
check does not signal a Typ_error.  Instead, it records it with typ_mismatch
and continues.

brownplt/strobe,brownplt/strobe