Use ASSERTS in main.