First upload of the Erlanf-Lua sources.