uncommented assertion check