pub const LUA_UTF8LIBNAME: &[u8; 5] = b"utf8\0";