fn max_ids_locked<Y: KernelSubstateApi<SystemLockData> + ClientApi<RuntimeError>>(
    proofs: &[Proof],
    resource_address: ResourceAddress,
    api: &mut Y
) -> Result<(IndexSet<NonFungibleLocalId>, NonIterMap<LocalRef, IndexSet<NonFungibleLocalId>>), RuntimeError>