verify_bkpt
verify_bkpt(phdl, &r_debug_state_sym, "r_debug_state", ldelf_object);
verify_bkpt(phdl, &main_sym, "main", target_prog_file);