Ultimate fails compilation

NEXT