#include <stdio.h>
#include <Xm/Xm.h>
#include "xephem.h"
char PATCHLEVEL[] = "4.0.0";
char PATCHDATE[] = "Feb 7, 2021";
char COPYRIGHT[] = "Copyright (c) 1990-2021 by Elwood Charles Downey";