Stubs generated in the new ppsr-stubs module