let
restart () = dot_footer !dot_fmt; fprintf !dot_fmt
"\n@."
; dot_header !dot_fmt