code { CONTRACT unit } ;
input { Stack_elt address "KT1Q36KWPSba7dHsH5E4ZsQHehrChc51e19d" } ;
output { Stack_elt (option (contract unit)) (Some "KT1Q36KWPSba7dHsH5E4ZsQHehrChc51e19d") } ;
other_contracts { Contract "KT1Q36KWPSba7dHsH5E4ZsQHehrChc51e19d" unit ;
                  Contract "KT1QuofAgnsWffHzLA7D78rxytJruGHDe7XG" unit }