Question on profiler data port counts

And it turns out that the information can be output in a nice form (as suggested by @swi in Print last choice point):

print_choicepoint :-
   prolog_current_choice(ChI),
   prolog_choice_attribute(ChI,frame,F),
   prolog_frame_attribute(F,goal,Goal),
   format("Last choice point: ~q~n", [Goal]).