K must cast to KE, problem not resolved
no compile error, but result still not right