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