lua_pushvfstring 5910 host/minilua.c lua_pushvfstring(L,fmt,argp);
lua_pushvfstring  166 lua.h          LUA_API const char *(lua_pushvfstring) (lua_State *L, const char *fmt,