Use the stdlib assert