Stubs now use a Stub receiver, instead of pointer receiver