WASH.CGI.Transaction
data T a
data Control cgi result
data TCGI b a