no need to initialize the value, you can set it to `(integer) $encodingOption` directly here.