void wasm_debugf( const char* format, ... );
void wasm_debugff( const char* func, const char* file, const char* fmt, ...);