Ok.
Tried that code and in the serial window I get
Starting W5100 0.0.0.0
It repeats if I press any of the reset buttons