Examples as coded live during a talk at HTL Rennweg