animated compilation

.