debug output + assert