Some comments about debugging flags