luai_writestring
void luai_writestring(const char *, int);
#define lua_writestring(s,l) luai_writestring(s,l)
