crocodile eats mushrooms.