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