Add test case for type coercion of function arguments and return

  The test case found missing arguments to type conversion on 32 bit
and a wrong check for a function not matching a previous prototype.