/* ------------------------------------------------- */
/*                       Posix                       */
/* ------------------------------------------------- */

__attribute__ ((noreturn))
void Posix_IO_setbin (__attribute__ ((unused)) C_Fd_t fd) {
        die("Posix_IO_setbin not implemented");
}

__attribute__ ((noreturn))
void Posix_IO_settext (__attribute__ ((unused)) C_Fd_t fd) {
        die("Posix_IO_settext not implemented");
}
