Create crocodile.h