public static void idlOutputTypedef(Cons typedef) {
    {
      ((OutputStream)(Stella.$CURRENT_STREAM$.get())).nativeStream.println("typedef " + ((StringWrapper)(typedef.rest.value)).wrapperValue + " " + ((StringWrapper)(typedef.value)).wrapperValue + ";");
      ((OutputStream)(Stella.$CURRENT_STREAM$.get())).nativeStream.println();
    }
;
  }