+static const char * double_register_names[] =
+{
+ "dr0", "dr1", "dr2", "dr3", "dr4", "dr5", "dr6", "dr7",
+ "dr8", "dr9", "dr10", "dr11", "dr12", "dr13", "dr14", "dr15",
+};
+
+static const char * double_register_high_names[] =
+{
+ "drh0", "drh1", "drh2", "drh3", "drh4", "drh5", "drh6", "drh7",
+ "drh8", "drh9", "drh10", "drh11", "drh12", "drh13", "drh14", "drh15",
+};
+
+static const char * double_register_low_names[] =
+{
+ "drl0", "drl1", "drl2", "drl3", "drl4", "drl5", "drl6", "drl7",
+ "drl8", "drl9", "drl10", "drl11", "drl12", "drl13", "drl14", "drl15",
+};
+
+static const char * double_control_register_names[] =
+{
+ "dpsw", "dcmr", "decnt", "depc",
+};
+
+static const char * double_condition_names[] =
+{
+ "", "un", "eq", "", "lt", "", "le",
+};
+