let
top_input =
SigKey
(
Signature
.in_top_key)