Finding bugs, 1