interface_contract
strict_interface
