Page "Variably modified type" not found :(