py-pydantic_core is a stub port
