Did you know that the extinct crocodyliform Sebecus was named after Sebek , the ancient Egyptian crocodile god?