If this key doesn't exist, the default value is used

So it's not a big deal if your ctrl/attr.ini file is missing or doesn't have
any particular key in it.