Petting a giant crocodile