/* Copyright (c) 2001-2009 by SoftIntegration, Inc. All Rights Reserved */
#include <stdio.h>
restrict FILE *freopen(const char *filename, const char *type, FILE *stream) {
    return _freopen(filename, type, stream);
}
