Constant EIP7702_PER_EMPTY_ACCOUNT_REGULAR 

pub const EIP7702_PER_EMPTY_ACCOUNT_REGULAR: u64 = 7500;

Regular gas component of EIP-7702 PER_EMPTY_ACCOUNT_COST under EIP-8037.