system-posix-redirect-1.0: include/hsredirect.h

#include <stdio.h>

FILE *PosixRedirect_stdout();
FILE *PosixRedirect_stderr();