const flex_setterinfo: JSJitInfo;