add debug assert