Symbol: luaO_pushvfstring