-int fputs(const char *, FILE *);
-size_t fread(void *, size_t, size_t, FILE *);
-FILE *freopen(const char *, const char *, FILE *);
-int fscanf(FILE *, const char *, ...);
+//Begin-Libc
+#ifndef LIBC_ALIAS_FPUTS
+//End-Libc
+int fputs(const char * __restrict, FILE * __restrict) __DARWIN_ALIAS(fputs);
+//Begin-Libc
+#else /* LIBC_ALIAS_FPUTS */
+int fputs(const char * __restrict, FILE * __restrict) LIBC_ALIAS(fputs);
+#endif /* !LIBC_ALIAS_FPUTS */
+//End-Libc
+size_t fread(void * __restrict, size_t, size_t, FILE * __restrict);
+//Begin-Libc
+#ifndef LIBC_ALIAS_FREOPEN
+//End-Libc
+FILE *freopen(const char * __restrict, const char * __restrict,
+ FILE * __restrict) __DARWIN_ALIAS(freopen);
+//Begin-Libc
+#else /* LIBC_ALIAS_FREOPEN */
+FILE *freopen(const char * __restrict, const char * __restrict,
+ FILE * __restrict) LIBC_ALIAS(freopen);
+#endif /* !LIBC_ALIAS_FREOPEN */
+//End-Libc
+int fscanf(FILE * __restrict, const char * __restrict, ...) __DARWIN_LDBL_COMPAT(fscanf);