let print_program p = 
  List.iter (fun b ->
               pp_open_box !ppf 0;
               print_binding b; 
               pp_print_newline !ppf ();
               pp_print_newline !ppf ();
               pp_close_box !ppf ()) p