casting compilation

.