gcc/f/version.c

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