// Copyright Bangor University, 2014
// festival_extra.h
//
// Extra header file for private c++ API methods 
// declared in festival.cc

void festival_banner(void);