Specifying diagnostic options—examples