const navigation_getterinfo: JSJitInfo;