/// \file PinballGame/console.h
/// \brief Declarations for user console interface.

extern void send_debug_message(const char *str);
extern void send_debug_message( int i );
extern void send_message( const char *command, long value );
extern void send_message( const char *command, long value1, long value2 );
extern void poll_console_input(unsigned long elapsed);