#[derive(ContractsExtension)]
A proc macro for generating initialization code for a contracts extension.