class Foo { void ctx1(); };