The files used in the quick introduction to lua.