zkl Test.testThemAll -- paliTest.zkl