When we can't determine with certainty the signature of a function
import we pick one at random rather than error'ing out.
The resulting program might not do what is expected since we might pick
the wrong signature. However since its behaviour in C to use the same
function with different signatures this seems beter than refusing to
compile such programs.