Internal checking is now enabled by the macro CHECK_INTERNAL