Bizarre compilation