1. 26a1726 bmc: move Verification declaration out of single header by Patrick Venture ยท 6 years ago