let dump_ast magic ast oc =
              (output_string oc magic; output_value oc ast)