По поводу assertion-функций см. комментарии выше.