channel CIO1 { out accounts(l:List, signup(name:Str)) == cons(name, l) } channel CIO2(uid:Int) { out accounts.{uid}(n:Str, changeName(name)) == name }