public static void idlOutputOneFormalParameter(Cons parameter) {
    ((OutputStream)(Stella.$CURRENT_STREAM$.get())).nativeStream.print(((StringWrapper)(parameter.value)).wrapperValue + " " + ((StringWrapper)(parameter.rest.value)).wrapperValue + " " + ((StringWrapper)(parameter.rest.rest.value)).wrapperValue);
  }