BP_NUM
printf("Cleared breakpoint %tx (", BP_NUM(bp));
printf("%tx %s ", BP_NUM(bp),
cpu, BP_NUM(bp));
printf("Stopped at breakpoint %tx (", BP_NUM(bp));