Question: What do you do with a developer who does not test his code?