cassert missing