Hypercompe stubs