#ifndef HEADER_INPUT
#define HEADER_INPUT

#include <stdio.h>

extern unsigned char o[];
extern unsigned char s[];

unsigned char *
getocts(FILE *fp, int *np);

unsigned char *
getsxts(FILE *fp, int *np);

#endif