adam@0: val init : transaction {}
adam@1: val discover : string -> transaction (option string)