#include <stdio.h>

static char date[] =
#include "version.h"
;

void version( void)
{
    (void) printf("\n\tM version %s\n\n", date);
}