pub const LUA_INT_DEFAULT: u32 = 3;