Add some external function stubs. Remove the assertion about vararg
functions (though support for vararg function is still not provided: we
just ignore all calls to such functions)