char version[] = "GNUmach 0.2";