/*
 * This file is intentionally empty.  Some compilers require the presence of
 * an include file, even if the "#ifdef"s exclude it from actual use. PTUI !
 */