/* @configure_input@ */
const char version[] = "GNUmach @VERSION@";