gcc patch #0: improvements