Artifacts of viatra-master #1874