hm.... :(

in the tests-directory there is a test that does test for 'vpi', so a pointer+integer, with return-value of void.
maybe chromatic can give a little more insight...

thx for your contributions, sam!