Some tests for TextUI