/*
 *  Copyright (C) NEC Electronics Corporation 1990,2004
 *  NEC ELECTRONICS CONFIDENTIAL AND PROPRIETARY
 *  All rights reserved by NEC Electronics Corporation.
 *  This program must be used solely for the purpose for which
 *  it was furnished by NEC Electronics Corporation. No part of this
 *  program may be reproduced or disclosed to others, in any
 *  form, without the prior written permission of NEC Electronics
 *  Corporation. Use of copyright notice does not evidence
 *  publication of the program.
 */
#ifndef STDIO_SMPLUS_H
#define STDIO_SMPLUS_H

#ifndef __STATIC_MODEL__

#ifndef NO_REDEFINE

#undef EOF
#undef FILE
#undef printf
#undef scanf
#undef fopen
#undef fclose
#undef fprintf
#undef fscanf

#define EOF     EOF_
#define FILE    FILE_

#define fopen   fopen_
#define fclose  fclose_

#ifndef SUPPORT_FLOAT
#define printf  printf_
#define scanf   scanf_
#define fprintf fprintf_
#define fscanf  fscanf_
#else
#define printf  printff_
#define scanf   scanff_
#define fprintf fprintff_
#define fscanf  fscanff_
#endif /* SUPPORT_FLOAT */

#endif /* NO_REDEFINE */

#define EOF_ (0)
typedef void FILE_;

extern int    printf_(const char* format, ...);
extern int    printff_(const char* format, ...);
extern int    scanf_(const char* format, ...);
extern int    scanff_(const char* format, ...);
extern FILE_* fopen_(const char* filename, const char* mode);
extern int    fclose_(FILE_* stream);
extern int    fprintf_(FILE_* stream, const char* format, ...);
extern int    fprintff_(FILE_* stream, const char* format, ...);
extern int    fscanf_(FILE_* stream, const char* format, ...);
extern int    fscanff_(FILE_* stream, const char* format, ...);

#endif /* __STATIC_MODEL__ */

#endif /* STDIO_SMPLUS_H */