use newer assert statements