value print_field n fld = do {
    if n > 0 then print_string ", " else print_string "  ";
    print_string (field_to_string fld);
    ()
}