public static void javaOutputNamedStatement(Cons namedstatement) {
    Stella_Object.javaOutputStatement(namedstatement.value);
    ((OutputStream)(Stella.$CURRENT_STREAM$.get())).nativeStream.print(" : ");
    Stella_Object.javaOutputStatement(namedstatement.rest.value);
  }