Add tests for HEK.