ID	Text Signature	Bytes Signature
1134771	test_srav_succeeds()	0x25b14341
1134770	test_srlv_succeeds()	0x21f830af
1134769	test_sllv_succeeds()	0x86d7b503
1134768	test_sra_succeeds()	0x39ef3b25
1134767	test_srl_succeeds()	0xe994e9b4
1134766	test_sll_succeeds()	0x2fbcf073
1134765	test_jalr_succeeds()	0x190d4313
1134764	test_jr_succeeds()	0x66f25df4
1134763	test_jal_nonzeroRegion_succeeds()	0x2eb47032
1134762	test_jal_succeeds()	0x4c3413eb