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