Hoed-0.4.1: Lightweight algorithmic debugging.