dbc (cargo): Simple design by contract assertions
Keywords: dbc|godbc|hoare|macro|rust