`#if 0' and associated cleanup.