Artifacts of viatra-maintenance-2.1 #10