-- finished converting functions_test.clj to speclj
-- converted kernel_domain_test.clj to speclj
-- finished converting 'kernel_plugin_test.clj' to speclj