Wrote one test for K() in Unicalc.