#include "fslc_stdio.h"

FSLC_FILE *fslc_stdout;