digraph G {
  center=true;
  ratio=compress;
  rankdir="TB";
  page="8.5,11";
  orientation="portrait";
  size="6,10";
  devpts_pty_new [ fillcolor="#FFFFCC" style=filled fontname="Arial" fontsize=100 label="devpts_pty_new" ]; 
  devpts_fill_super [ fillcolor="#FFFFCC" style=filled fontname="Arial" fontsize=100 label="devpts_fill_super" ]; 
  devpts_remount [ fillcolor="#FFFFCC" style=filled fontname="Arial" fontsize=100 label="devpts_remount" ]; 
}