bizarre compilation

.