#ifndef __IEEE80_H__
#define __IEEE80_H__
extern double ieee_80_to_double(unsigned char *p);
extern void double_to_ieee_80(double val, unsigned char *p);
#endif