toScriptArgs.put("isSubnet", !topLevel);
toScriptArgs.put("netName", prefixes.get(node));
toScriptArgs.put("spaceDelim", spaceDelimiter);
try {
String code = net.toPostScript(toScriptArgs);
script.append(code);
} catch(ScriptGenException e) {
System.out.println(e.getMessage());
}