an extension of lua