Tiny change: added tinytest.txt for testing.