let
out_from_key loc =
SigKey
(
Signature
.out_key loc)