next_instr_address
vaddr_t next_instr_address(vaddr_t, int);
vaddr_t next_instr_address(vaddr_t, int);
ins = db_get_value(next_instr_address(pc, 1),
pc = next_instr_address(pc, 1);
pc = next_instr_address(pc, 0);