#ifndef _ISTACK_H_bf7a422d_
#define _ISTACK_H_bf7a422d_

#include <stdio.h>

#include "irdr.h"

extern void istack_init(void);
extern void istack_push(IRDR *, ...);
extern void istack_read(void);
extern void istack_end(void);
extern void istack_err(const char *, ...)
	__attribute__((__format__(__printf__,1,2)));
extern FILE *istack_err_open(void);

#endif