char *heimdal_long_version = "@(#)$Version: heimdal-0.7.2/OpenBSD"; char *heimdal_version = "heimdal-0.7.2/OpenBSD";