public static void idlOutputFunctionSignature(Cons function) {
    Cons.idlOutputTypeExpression(((Cons)(function.value)));
    ((OutputStream)(Stella.$CURRENT_STREAM$.get())).nativeStream.print(((StringWrapper)(function.rest.value)).wrapperValue);
    Cons.idlOutputFormalParameters(((Cons)(function.rest.rest.value)));
  }