definition module StubGenerator