/* * CODE REVISION NUMBER: */ char * rev = "version 0.5.8-dev";