4k+1
require
CLAUDE.md
AGENTS.md
verifyingContract
toDomainSeparator
_balances
ReentrancyGuard
ReentrancyGuardTransient