sofsem2021-prototype