add more lua specs