val foo : transaction {}