behavior_contracts
