type Foo1 = void