Editing: lua.hpp