Protecting your code from other people's bugs