#include <stdio.h>
#include "version.h"

#define version_core "GNU CSSC 1.4.1"

extern const char cssc_version_rcs[] = "$Version: " version_core " $";
extern const char cssc_version_sccs[] = "@(#) " version_core;
extern const char cssc_version[] = version_core;
