let alg_name = get_assoc_exn "AlgName" <-- fst