got specifications in for lua and two spec specific functions for lua_instance