let
call_ctrl_key call =
SigCallKey
(call, (
Signature
.in_ctrl_key))