python-{stdin-readlines,stack,print,html-escape}