triple pusy compilation

.