just use an assert().