hot compilation

.