checkStack        480 core/Verifier.cpp 			    checkStack(2,0);
checkStack        488 core/Verifier.cpp 			    checkStack(1,0);
checkStack        504 core/Verifier.cpp 				checkStack(1,0);
checkStack        523 core/Verifier.cpp 			    checkStack(1,0);
checkStack        530 core/Verifier.cpp 			    checkStack(1,0);
checkStack        544 core/Verifier.cpp 				checkStack(0,1);
checkStack        550 core/Verifier.cpp 				checkStack(0,1);
checkStack        556 core/Verifier.cpp 				checkStack(0,1);
checkStack        562 core/Verifier.cpp 				checkStack(0,1);
checkStack        568 core/Verifier.cpp 				checkStack(0,1);
checkStack        574 core/Verifier.cpp 				checkStack(0,1);
checkStack        580 core/Verifier.cpp 				checkStack(0,1);
checkStack        602 core/Verifier.cpp 				checkStack(1,0);
checkStack        611 core/Verifier.cpp 				checkStack(0,1);
checkStack        619 core/Verifier.cpp 				checkStack(0,1);
checkStack        627 core/Verifier.cpp 				checkStack(0,1);
checkStack        635 core/Verifier.cpp 				checkStack(0,1);
checkStack        643 core/Verifier.cpp 				checkStack(0,1);
checkStack        652 core/Verifier.cpp 				checkStack(1,0);
checkStack        666 core/Verifier.cpp 				checkStack(1,0);
checkStack        677 core/Verifier.cpp 				checkStack(0,1);
checkStack        688 core/Verifier.cpp 				checkStack(0,1);
checkStack        722 core/Verifier.cpp 				checkStack(0,1);
checkStack        760 core/Verifier.cpp 				checkStack(1, 1);
checkStack        930 core/Verifier.cpp 				checkStack(1, 1);
checkStack        950 core/Verifier.cpp 				checkStack(1, 1);
checkStack        970 core/Verifier.cpp 				checkStack(2,1);
checkStack        984 core/Verifier.cpp 				checkStack(1,1);
checkStack        994 core/Verifier.cpp 				checkStack(1,1);
checkStack       1003 core/Verifier.cpp 				checkStack(1,1);
checkStack       1012 core/Verifier.cpp 				checkStack(1,1);
checkStack       1022 core/Verifier.cpp 				checkStack(1,1);
checkStack       1032 core/Verifier.cpp 				checkStack(1,1);
checkStack       1042 core/Verifier.cpp 				checkStack(1,1);
checkStack       1051 core/Verifier.cpp 				checkStack(1,1);
checkStack       1059 core/Verifier.cpp 				checkStack(1,1);
checkStack       1068 core/Verifier.cpp 				checkStack(2,1);
checkStack       1075 core/Verifier.cpp 				checkStack(1,1);
checkStack       1086 core/Verifier.cpp 				checkStack(1,1);
checkStack       1105 core/Verifier.cpp 				checkStack(argc+1, 1);
checkStack       1125 core/Verifier.cpp 				checkStack(argc+2, 1);
checkStack       1143 core/Verifier.cpp 				checkStack(argc+1, 1);
checkStack       1165 core/Verifier.cpp 				checkStack(argc+1,1);
checkStack       1230 core/Verifier.cpp 				checkStack(argc+1, 1);
checkStack       1335 core/Verifier.cpp 				checkStack(argc+1, 0);
checkStack       1353 core/Verifier.cpp 				checkStack(2*argc, 1);
checkStack       1366 core/Verifier.cpp 				checkStack(imm30, 1);
checkStack       1373 core/Verifier.cpp 				checkStack(1,0);
checkStack       1398 core/Verifier.cpp 				checkStack(1,0);
checkStack       1419 core/Verifier.cpp 				checkStack(0, 1);
checkStack       1429 core/Verifier.cpp 				checkStack(0, 1);
checkStack       1450 core/Verifier.cpp 				checkStack(0,1);
checkStack       1464 core/Verifier.cpp 				checkStack(0,1);
checkStack       1485 core/Verifier.cpp 				checkStack(0,1);
checkStack       1492 core/Verifier.cpp 				checkStack(0,1);
checkStack       1510 core/Verifier.cpp 				checkStack(1,0);
checkStack       1521 core/Verifier.cpp 				checkStack(1,1);
checkStack       1533 core/Verifier.cpp 				checkStack(2,0);
checkStack       1548 core/Verifier.cpp 				checkStack(1,0);
checkStack       1555 core/Verifier.cpp 				checkStack(1, 2);
checkStack       1564 core/Verifier.cpp 				checkStack(2,2);
checkStack       1604 core/Verifier.cpp 				checkStack(2,1);
checkStack       1610 core/Verifier.cpp 				checkStack(1,1);
checkStack       1618 core/Verifier.cpp 			    checkStack(2,1);
checkStack       1648 core/Verifier.cpp 				checkStack(2,1);
checkStack       1656 core/Verifier.cpp 				checkStack(1,1);
checkStack       1663 core/Verifier.cpp 				checkStack(1,1);
checkStack       1670 core/Verifier.cpp 				checkStack(1,1);
checkStack       1678 core/Verifier.cpp 				checkStack(2,1);
checkStack       1686 core/Verifier.cpp 				checkStack(1,1);
checkStack       1694 core/Verifier.cpp 				checkStack(2,1);
checkStack       1706 core/Verifier.cpp 				checkStack(2,1);
checkStack       1714 core/Verifier.cpp 				checkStack(2,1);
checkStack       1722 core/Verifier.cpp 				checkStack(1,1);
checkStack       1728 core/Verifier.cpp 				checkStack(1,1);
checkStack       1751 core/Verifier.cpp 				checkStack(2,1);
checkStack       1758 core/Verifier.cpp 				checkStack(2,1);
checkStack       1766 core/Verifier.cpp 				checkStack(0,1);
checkStack       1783 core/Verifier.cpp 				checkStack(1,1);
checkStack       1795 core/Verifier.cpp                     checkStack(1,1);
checkStack       1811 core/Verifier.cpp 				checkStack(1,1);
checkStack       1824 core/Verifier.cpp 				checkStack(2,0);
checkStack       2387 core/Verifier.cpp 		checkStack(pop,push);
checkStack        131 core/Verifier.h 		void checkStack(uint32_t pop, uint32_t push);