It is better to put 'assert(...)'  under debug model.