let alg_version = get_assoc_exn "AlgVersion" <-- fst