`charFilters` is not nullable anymore, isn't it? couldn't we use `writeStringArray` instead?