let display_operations_spec () =
 display_operations_spec__ false false