1 This tests branch opcodes to verify that their arguments are actually of 2 the appropriate types. 3