const enabled_setterinfo: JSJitInfo;