Elephant compilation

NEXT