con->dd_printf("ucsim version %s\n", VERSIONSTR);
con->dd_printf("Type of microcontroller: %s\n", uc->id_string());
con->dd_printf("Controller has %d hardware element(s).\n",
con->dd_printf("ucsim version %s\n", VERSIONSTR);
con->dd_printf("Type of microcontroller: %s\n", uc->id_string());
con->dd_printf("Controller has %d hardware element(s).\n",