Checking Interactively-Developed Code (2/3) - Andriy Hnativ