Separate kdefinition into its own testcase