let
call_output_key call loc =
SigCallKey
(call, (
Signature
.out_key loc))