#if defined( HPUX11_VSNPRINTF_CHECK )
-extern int vsnprintf(char *, __size_t, const char *, __gnuc_va_list);
+extern int vsnprintf(char *, _hpux_size_t, const char *, __gnuc_va_list);
#endif /* HPUX11_VSNPRINTF_CHECK */
#endif /* ULTRIX_CONST2_CHECK */
+
+#if defined( UNICOSMK_RESTRICT_CHECK )
+void f (char * __restrict__ x);
+#endif /* UNICOSMK_RESTRICT_CHECK */
+
#endif /* FIXINC_STDIO_STDARG_H_CHECK */