char version[] = "GNUmach 1.1.92";