const innerHTML_setterinfo: JSJitInfo;