+extern HsInt prel_sizeof_stat();
+extern time_t prel_st_mtime(struct stat* st);
+extern off_t prel_st_size(struct stat* st);
+extern mode_t prel_st_mode(struct stat* st);
+
+extern HsInt prel_sizeof_termios();
+extern HsInt prel_sizeof_sigset_t();
+
+#if HAVE_TERMIOS_H
+extern tcflag_t prel_lflag(struct termios* ts);
+extern void prel_poke_lflag(struct termios* ts, tcflag_t t);
+extern unsigned char* prel_ptr_c_cc(struct termios* ts);
+#endif
+
+extern int prel_o_binary();
+extern int prel_o_rdonly();
+extern int prel_o_wronly();
+extern int prel_o_rdwr();
+extern int prel_o_append();
+extern int prel_o_creat();
+extern int prel_o_excl();
+extern int prel_o_trunc();
+extern int prel_o_noctty();
+extern int prel_o_nonblock();
+
+extern int prel_echo();
+extern int prel_tcsanow();
+extern int prel_icanon();
+extern int prel_vmin();
+extern int prel_vtime();
+extern int prel_sigttou();
+extern int prel_sig_block();
+extern int prel_sig_setmask();
+extern int prel_f_getfl();
+extern int prel_f_setfl();