kariz_runtime_contract
