Concrete Cover Block Specification Is Code