Comment by ponsin

how is that different than in c/c++ simply adding asserts at the start and end of functions?