let
run_example n =
print_dist term_to_string (dist n);
print_string
"\n"