Error in test_commoninst_pin
The function defined in
test_otherops.py has a signature of
[uptr<void>, int<64>] -> [int<64>], but the entry block is supplied with 0 arguments. It currently causes the current
HEAD on develop failed due to a newly added check between function signature and the actual arguments.