All existing ABI tests are relatively thin and do not stress all possible permutations of signature arguments. We should work on a test to improve coverage of the ABI code - this is especially important now that we have multiple upcall/downcall schemes.