initial translation to KR