#define SVN_REV "1272" const char *GetRev() { return SVN_REV; }