Use assert()