petermr/declaratron-stmml archive