code TICKET;
self "KT1Q36KWPSba7dHsH5E4ZsQHehrChc51e19d" ;
input { Stack_elt string "Blue"; Stack_elt nat 42 } ;
output
  { Stack_elt
      (option (ticket string))
      (Some (Pair "KT1Q36KWPSba7dHsH5E4ZsQHehrChc51e19d" "Blue" 42))
  } ;