And have to repeat the initialization for every profile-specific file we implement for all the dozens of id's we implement. Does that style convention make sense, or if it's in Chromium, do we have to blindly use it in extensions? The language is not an obstacle here, just unnecessary conventions. How much simpler is it to declare them in the header, the effect is the same, including allocation...