#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";