working jabc4-KIs (will be moved from this repo soon)