adam@0: val init : transaction {}
adam@0: val fetch : string -> transaction string