typedef sequence Foo;