WHIRLPOOLS_CONFIG_EXTENSION_ADDRESS: Address = DEFAULT_WHIRLPOOLS_CONFIG_EXTENSION_ADDRESS

The WhirlpoolsConfigExtension address.