#ifndef __INT_STREAM_H_
 #define __INT_STREAM_H_

int int_stream_init(eps_t *, int *);
void int_stream_restart(eps_t *, int *);

#endif