Jocula—an instructive compiler