debug assert