/* Embed a copyright string */
static volatile char __copyright__[] = "Copyright 1995-2013 Graeme W. Gill";