public static void cppOutputReturn(Cons returnstatement) {
    ((OutputStream)(Stella.$CURRENT_STREAM$.get())).nativeStream.print("return");
    if (returnstatement != null) {
      ((OutputStream)(Stella.$CURRENT_STREAM$.get())).nativeStream.print(" (");
      Stella_Object.cppOutputStatement(returnstatement);
      ((OutputStream)(Stella.$CURRENT_STREAM$.get())).nativeStream.print(")");
    }
  }