debugging with assert