1 ISABELLE_CACHE_IO="$COMPONENT"
2
3 COMPUTE_HASH_KEY="$ISABELLE_CACHE_IO/lib/scripts/compute_hash_key"
4