Use proper assert() instead of printf.