Derive Macro DbBmc

#[derive(DbBmc)]
{
    // Attributes available to this derive:
    #[db_bmc]
}