crazy credit thing is crazy.
The crazy credits section for this film say that the credits starting after the opening scene was unusual,maybe but this film was hardly the first film to have a pre credit sequence.
I think most sources agree that THE DESERT FOX (1951) was the first film with a pre credit sequence?