let display_operations_spec_sorted () =
  display_operations_spec__ true false