convert more lua examples