Incorrect printing of designated initializers (#1165) · Issues · pub / frama-c