king compilation (114.302)