1 This tests that the various stack manipulation opcodes verify that their 2 arguments are actually of the appropriate categories. 3
