Happy crocodile is happy