Stub for fprintf, some symval kludges.