Simple checking of the crazy example.