1 files changed, 33 insertions, 0 deletions
diff --git a/PACE/pace/posix/stdio.c b/PACE/pace/posix/stdio.c
index 251d6da309d..740f6d88b44 100644
--- a/PACE/pace/posix/stdio.c
+++ b/PACE/pace/posix/stdio.c
@@ -15,6 +15,39 @@
 
 #include "pace/stdio.h"
 
+int
+pace_fprintf (FILE *fp, const char *format, ...)
+{
+  int result = 0;
+  va_list ap;
+  va_start (ap, format);
+  result = vfprintf (fp, format, ap);
+  va_end (ap);
+  return result;
+}
+
+int
+pace_printf (const char* format, ...)
+{
+  int result = 0;
+  va_list ap;
+  va_start (ap, format);
+  result = vprintf (format, ap);
+  va_end (ap);
+  return result;
+}
+
+int
+pace_sprintf (char* s, const char* format, ...)
+{
+  int result = 0;
+  va_list ap;
+  va_start (ap, format);
+  result = vsprintf (s, format, ap);
+  va_end (ap);
+  return result;
+}
+
 #if !defined (PACE_HAS_INLINE)
 # include "pace/posix/stdio.inl"
 #endif /* ! PACE_HAS_INLINE */