dumpword of YACASL2 version @@VERSION@@