extern int TopLevelPrivateKit_Public;