gcc/f/version.c

                                                                                        const char *ffe_version_string = "0.5.25 20030502 (prerelease)";