The default CONFIG_BUG=n version of BUG() should have an empty do...while