extern const char version[] = "TUI Interface for Java 1.1";