const flex_getterinfo: JSJitInfo;