#define RUBY_VERSION "1.7.2"
#define RUBY_RELEASE_DATE "2002-02-13"
#define RUBY_VERSION_CODE 172
#define RUBY_RELEASE_CODE 20020213