1 This tests that wide-taking (category-2) "calculation" opcodes (math 2 ops, comparisons, etc.) verify that their arguments are actually of 3 the appropriate types. 4
