It was only used in SdkConfig.  I've inlined it.