Costs of not testing an implementation