Artifacts of viatra-master #1872