diamond kitty compilation

.