#include "stabs.h"
extern char __mathieeedoubbasname[];
void *__MathIeeeDoubBasBase[2]={ 0l,__mathieeedoubbasname };
ADD2LIB(__MathIeeeDoubBasBase);