// GCC is free software; you can redistribute it and/or modify it under
// the terms of the GNU General Public License as published by the Free
// GCC is free software; you can redistribute it and/or modify it under
// the terms of the GNU General Public License as published by the Free