#include <stdio.h>
/* HEADER FILE for magellan binary data */

typedef struct                   /* Header & structure for binary gpb files */
						   /* (202 bytes) */

{
				 /* variables used by software */
     char fname[40];             /* file name */
     FILE *f;                    /* file pointer */
     short vbufsize;             /* size of file buffer (internal) */
     void *vbuf;                 /* pointer to vbuf (allocated in open) */


}    mag_bin_file_type;

typedef struct                     /* position record (POSB) */
{
	char sync[4];               /*  should be $$BO  */

	long time;
	long lat;                     /* unit 10-7 deg */
	long lon;                     /* unit 10-7 deg */
	long hgt;                     /* unit 0.01 m */

}    pben_mag_type;


typedef struct                     /* measurement (data) record (RNGB) */
{
	char sync[4];              /* should be $$V1  */
	char svid;
	char snr;
	long phase;               /* unit  1/256 cycle */
	long prange;              /* unit  0.1 m */
}    mben_mag_type;

typedef struct
{
  unsigned long weeksec;       /* unit s */
  unsigned long fsec;          /* unit ns */
  int  weekno;
} time_mag_type;


void WriteRinexObsEpochFile(FILE *RinexRecFile,pben_mag_type *p,mben_mag_type *m,
			    time_mag_type *t);
void close_bin_file( mag_bin_file_type *h );
mag_bin_file_type *open_bin_file( char *fname, unsigned vbufsize );
int read_bin_epoch( mag_bin_file_type *h, pben_mag_type *pben_data,
		    mben_mag_type *mben_data,time_mag_type *t );