linux/xterm_mouse: console application which uses xterm mouse
python/unicode_encode: add a 4-byte UTF-8 smiley