January 10, 2022 @ 7:47 AM

The relevant declarations.