127         char buff[2];  in luaO_pushvfstring()  local
128         buff[0] = cast(char, va_arg(argp, int));  in luaO_pushvfstring()
129         buff[1] = '\0';  in luaO_pushvfstring()
130         pushstr(L, buff);  in luaO_pushvfstring()
144         char buff[4*sizeof(void *) + 8]; /* should be enough space for a `%p' */  in luaO_pushvfstring()  local
145         sprintf(buff, "%p", va_arg(argp, void *));  in luaO_pushvfstring()
146         pushstr(L, buff);  in luaO_pushvfstring()
154         char buff[3];  in luaO_pushvfstring()  local
155         buff[0] = '%';  in luaO_pushvfstring()
156         buff[1] = *(e+1);  in luaO_pushvfstring()
157         buff[2] = '\0';  in luaO_pushvfstring()
158         pushstr(L, buff);  in luaO_pushvfstring()