/* stdio.h
 * Copyright (c) 1990 Intel Corporation, ALL RIGHTS RESERVED.
 *
 * stdio.h  - standard I/O header file
 */

#ifndef _stdioh 
#define _stdioh

#pragma varparams(getchar, gets, scanf, sscanf, init_putchar, putchar)
#pragma varparams(puts, printf, sprintf)

#ifndef NULL
#define NULL ((void *)0)
#endif

#ifndef _size_t
#define _size_t
typedef unsigned size_t;	/* result of sizeof operator */
#endif

#define	EOF	(-1)

int getchar(void);
char *gets(char *);
int scanf(const char *, ...);
int sscanf(const char *, const char *, ...);

void init_putchar(void);
int putchar(int);
int puts(const char *);
int printf(const char *, ...);
int sprintf(char *, const char *, ...);

#endif /* _stdioh */