/* XDS v2.51: Copyright (c) 1999-2003 Excelsior, LLC. All Rights Reserved. */
/* Generated by XDS Modula-2 to ANSI C v4.20 translator */

#ifndef Printf_H_
#define Printf_H_
#ifndef X2C_H_
#include "X2C.h"
#endif
#ifndef IOChan_H_
#include "IOChan.h"
#endif

typedef IOChan_ChanId Printf_ChanId;

extern void Printf_fprintf(IOChan_ChanId, X2C_CHAR [], X2C_CARD32,
                X2C_LOC [], X2C_CARD32);

extern void Printf_printf(X2C_CHAR [], X2C_CARD32, X2C_LOC [], X2C_CARD32);

extern void Printf_sprintf(X2C_CHAR [], X2C_CARD32, X2C_CHAR [], X2C_CARD32,
                X2C_LOC [], X2C_CARD32);


extern void Printf_BEGIN(void);


#endif /* Printf_H_ */
