pw.println("`define "+name+"_full    ("+name+"_r && !"+name+"_a)");
                 pw.println("`define "+name+"_empty  (!"+name+"_r && !"+name+"_a)");
                 if (dd.isInputDock()) {
-                    pw.println("`define drain_"+name+"  "+name+"_a <= 1");
+                    pw.println("`define drain_"+name+"  "+name+"_a <= 1;");
                 } else {
-                    pw.println("`define fill_"+name+"  "+name+"_r <= 1");
+                    pw.println("`define fill_"+name+"  "+name+"_r <= 1;");
+                    pw.println("`define "+name+"_draining ("+name+"_r && "+name+"_a)");
                 }
             }