+ chip_id = ccdbg_get_chip_id(dbg);
+ printf("Chip id: 0x%04x\n", chip_id);
+ status = ccdbg_halt(dbg);
+ printf ("halt status: 0x%02x\n", status);
+/* ccdbg_execute(dbg, instructions); */
+ ccdbg_write_memory(dbg, 0xf000, mem_instr, sizeof (mem_instr));
+ ccdbg_read_memory(dbg, 0xf000, memory, sizeof (memory));
+ for (i = 0; i < sizeof (memory); i++)
+ printf (" %02x", memory[i]);
+ printf ("\n");
+ ccdbg_execute(dbg, jump_mem);
+ pc = ccdbg_get_pc(dbg);
+ printf ("pc starts at 0x%04x\n", pc);
+ status = ccdbg_resume(dbg);
+ printf ("resume status: 0x%02x\n", status);
+#endif