@effekt-lang/effekt 0.25.0 → 0.27.0

package/libraries/common/array.effekt

@@ -8,14 +8,54 @@ import option
 /// A mutable 0-indexed fixed-sized array.
 extern type Array[T]
 
+/** We represent arrays like positive types.
+ *  The tag is 0 and the obj points to memory with the following layout:
+ *
+ *   +--[ Header ]--+------+------------+
+ *   | Rc  | Eraser | Size | Fields ... |
+ *   +--------------+------+------------+
+ */
+
+extern llvm """
+declare noalias ptr @calloc(i64, i64)
+
+define void @array_erase_fields(ptr %array_pointer) {
+entry:
+    %data_pointer = getelementptr inbounds i64, ptr %array_pointer, i64 1
+    %size = load i64, ptr %array_pointer, align 8
+    %size_eq_0 = icmp eq i64 %size, 0
+    br i1 %size_eq_0, label %exit, label %loop
+loop:
+    %loop_phi = phi i64 [ %inc, %loop ], [ 0, %entry ]
+
+    %element_pointer = getelementptr inbounds %Pos, ptr %data_pointer, i64 %loop_phi
+    %element = load %Pos, ptr %element_pointer
+
+    call void @erasePositive(%Pos %element)
+    %inc = add nuw i64 %loop_phi, 1
+    %cmp = icmp ult i64 %inc, %size
+    br i1 %cmp, label %loop, label %exit
+exit:
+    ret void
+}
+"""
+
 /// Allocates a new array of size `size`, keeping its values _undefined_.
 /// Prefer using `array` constructor instead to ensure that values are defined.
 extern global def allocate[T](size: Int): Array[T] =
   js "(new Array(${size}))"
   chez "(make-vector ${size})" // creates an array filled with 0s on CS
   llvm """
-    %z = call %Pos @c_array_new(%Int ${size})
-    ret %Pos %z
+    %size0 = shl i64 ${size}, 4
+    %size1 = add i64 %size0, 24
+    %calloc = tail call noalias ptr @calloc(i64 %size1, i64 1)
+    %eraser_pointer = getelementptr ptr, ptr %calloc, i64 1
+    %size_pointer = getelementptr ptr, ptr %calloc, i64 2
+    store i64 0, ptr %calloc
+    store ptr @array_erase_fields, ptr %eraser_pointer
+    store i64 ${size}, ptr %size_pointer
+    %ret_pos = insertvalue %Pos { i64 0, ptr poison }, ptr %calloc, 1
+    ret %Pos %ret_pos
   """
   vm "array::allocate(Int)"
 
@@ -49,8 +89,12 @@ extern pure def size[T](arr: Array[T]): Int =
   js "${arr}.length"
   chez "(vector-length ${arr})"
   llvm """
-    %z = call %Int @c_array_size(%Pos ${arr})
-    ret %Int %z
+    %pos_data = extractvalue %Pos ${arr}, 1
+    %size_pointer = getelementptr inbounds i64, ptr %pos_data, i64 2
+    %size = load i64, ptr %size_pointer
+
+    tail call void @erasePositive(%Pos ${arr})
+    ret i64 %size
   """
   vm "array::size[T](Array[T])"
 
@@ -62,8 +106,15 @@ extern global def unsafeGet[T](arr: Array[T], index: Int): T =
   js "${arr}[${index}]"
   chez "(vector-ref ${arr} ${index})"
   llvm """
-    %z = call %Pos @c_array_get(%Pos ${arr}, %Int ${index})
-    ret %Pos %z
+    %pos_data = extractvalue %Pos ${arr}, 1
+
+    %data_pointer = getelementptr inbounds ptr, ptr %pos_data, i64 3
+    %element_pointer = getelementptr inbounds %Pos, ptr %data_pointer, i64 ${index}
+    %element = load %Pos, ptr %element_pointer
+
+    tail call void @sharePositive(%Pos %element)
+    tail call void @erasePositive(%Pos ${arr})
+    ret %Pos %element
   """
   vm "array::unsafeGet[T](Array[T], Int)"
 
@@ -82,8 +133,15 @@ extern global def unsafeSet[T](arr: Array[T], index: Int, value: T): Unit =
   js "array$set(${arr}, ${index}, ${value})"
   chez "(begin (vector-set! ${arr} ${index} ${value}) #f)"
   llvm """
-    %z = call %Pos @c_array_set(%Pos ${arr}, %Int ${index}, %Pos ${value})
-    ret %Pos %z
+    %array_data = extractvalue %Pos ${arr}, 1
+
+    %data_pointer = getelementptr inbounds i64, ptr %array_data, i64 3
+    %element_pointer = getelementptr inbounds %Pos, ptr %data_pointer, i64 ${index}
+    %element = load %Pos, ptr %element_pointer, align 8
+    tail call void @erasePositive(%Pos %element)
+    store %Pos ${value}, ptr %element_pointer, align 8
+    tail call void @erasePositive(%Pos ${arr})
+    ret %Pos zeroinitializer
   """
   vm "array::unsafeSet[T](Array[T], Int, T)"
 

package/libraries/common/bytearray.effekt

@@ -2,6 +2,17 @@ module bytearray
 
 /**
  * A memory managed, mutable, fixed-length array of bytes.
+ *
+ * We represent bytearrays like positive types.
+ *
+ *  - The field `tag` contains the size
+ *  - The field `obj` points to memory with the following layout:
+ *
+ *       +--[ Header ]--+--------------+
+ *       | Rc  | Eraser | Contents ... |
+ *       +--------------+--------------+
+ *
+ * The eraser does nothing.
  */
 extern type ByteArray
   // = llvm "%Pos"
@@ -12,32 +23,47 @@ extern type ByteArray
 extern global def allocate(size: Int): ByteArray =
   js "(new Uint8Array(${size}))"
   llvm """
-    %arr = call %Pos @c_bytearray_new(%Int ${size})
-    ret %Pos %arr
+    %object_size = add i64 ${size}, 16
+    %object_alloc = tail call noalias ptr @malloc(i64 noundef %object_size)
+    store i64 0, ptr %object_alloc, align 8
+    %object_data_ptr = getelementptr inbounds i8, ptr %object_alloc, i64 8
+    store ptr @bytearray_erase_noop, ptr %object_data_ptr, align 8
+    %ret_object1 = insertvalue %Pos poison, i64 ${size}, 0
+    %ret_object2 = insertvalue %Pos %ret_object1, ptr %object_alloc, 1
+    ret %Pos %ret_object2
   """
   chez "(make-bytevector ${size})"
 
 extern pure def size(arr: ByteArray): Int =
   js "${arr}.length"
   llvm """
-    %size = call %Int @c_bytearray_size(%Pos ${arr})
-    ret %Int %size
+    %size = extractvalue %Pos ${arr}, 0
+    tail call void @erasePositive(%Pos ${arr})
+    ret i64 %size
   """
   chez "(bytevector-length ${arr})"
 
 extern global def unsafeGet(arr: ByteArray, index: Int): Byte =
   js "(${arr})[${index}]"
   llvm """
-    %byte = call %Byte @c_bytearray_get(%Pos ${arr}, %Int ${index})
-    ret %Byte %byte
+    %arr_ptr = extractvalue %Pos ${arr}, 1
+    %arr_data_ptr = getelementptr inbounds i8, ptr %arr_ptr, i64 16
+    %element_ptr = getelementptr inbounds i8, ptr %arr_data_ptr, i64 ${index}
+    %element = load i8, ptr %element_ptr, align 1
+    tail call void @erasePositive(%Pos ${arr})
+    ret i8 %element
   """
   chez "(bytevector-u8-ref ${arr} ${index})"
 
 extern global def unsafeSet(arr: ByteArray, index: Int, value: Byte): Unit =
   js "bytearray$set(${arr}, ${index}, ${value})"
   llvm """
-    %z = call %Pos @c_bytearray_set(%Pos ${arr}, %Int ${index}, %Byte ${value})
-    ret %Pos %z
+    %arr_ptr = extractvalue %Pos ${arr}, 1
+    %arr_data_ptr = getelementptr inbounds i8, ptr %arr_ptr, i64 16
+    %element_ptr = getelementptr inbounds i8, ptr %arr_data_ptr, i64 ${index}
+    store i8 ${value}, ptr %element_ptr, align 1
+    tail call void @erasePositive(%Pos ${arr})
+    ret %Pos zeroinitializer
   """
   chez "(bytevector-u8-set! ${arr} ${index} ${value})"
 
@@ -121,6 +147,12 @@ extern js """
   }
 """
 
+extern llvm """
+define void @bytearray_erase_noop(ptr readnone %0) {
+  ret void
+}
+"""
+
 extern chez """
   (define (bytearray$compare b1 b2)
     (let ([len1 (bytevector-length b1)]

package/libraries/common/ref.effekt

@@ -9,17 +9,44 @@ extern js """
   }
 """
 
+extern llvm """
+define void @c_ref_erase_field(ptr %0) {
+  %field = load %Pos, ptr %0, align 8
+  tail call void @erasePositive(%Pos %field)
+  ret void
+}
+"""
+
 /// Global, mutable references
 extern type Ref[T]
 
+/** We represent references like positive types in LLVM
+ *  The tag is 0 and the obj points to memory with the following layout:
+ *
+ *   +--[ Header ]--------------+------------+
+ *   | ReferenceCount  | Eraser | Field      |
+ *   +--------------------------+------------+
+ */
+
 /// Allocates a new reference, keeping its value _undefined_.
 /// Prefer using `ref` constructor instead to ensure that the value is defined.
 extern global def allocate[T](): Ref[T] =
   js "{ value: undefined }"
   chez "(box #f)"
   llvm """
-    %z = call %Pos @c_ref_fresh(%Pos zeroinitializer)
-    ret %Pos %z
+    ; sizeof Header + sizeof Pos = 32
+    %ref = tail call noalias ptr @malloc(i64 noundef 32)
+    %refEraser = getelementptr ptr, ptr %ref, i64 1
+    %fieldTag = getelementptr ptr, ptr %ref, i64 2
+    %fieldData_pointer = getelementptr ptr, ptr %ref, i64 3
+
+    store i64 0, ptr %ref, align 8
+    store ptr @c_ref_erase_field, ptr %refEraser, align 8
+    store i64 0, ptr %fieldTag, align 8
+    store ptr null, ptr %fieldData_pointer, align 8 
+
+    %refWrap = insertvalue %Pos { i64 0, ptr poison }, ptr %ref, 1
+    ret %Pos %refWrap
   """
 
 /// Creates a new reference with the initial value `init`.
@@ -27,8 +54,20 @@ extern global def ref[T](init: T): Ref[T] =
   js "{ value: ${init} }"
   chez "(box ${init})"
   llvm """
-    %z = call %Pos @c_ref_fresh(%Pos ${init})
-    ret %Pos %z
+    %initTag = extractvalue %Pos ${init}, 0
+    %initObject_pointer = extractvalue %Pos ${init}, 1
+    ; sizeof Header + sizeof Pos = 32
+    %ref = tail call noalias ptr @malloc(i64 noundef 32)
+    %refEraser = getelementptr ptr, ptr %ref, i64 1
+    %refField = getelementptr ptr, ptr %ref, i64 2
+
+    store i64 0, ptr %ref, align 8
+    store ptr @c_ref_erase_field, ptr %refEraser, align 8
+    store %Pos ${init}, ptr %refField, align 8
+
+    %refWrap = insertvalue %Pos { i64 0, ptr poison }, ptr %ref, 1
+
+    ret %Pos %refWrap
   """
   vm "ref::ref[T](T)"
 
@@ -36,9 +75,15 @@ extern global def ref[T](init: T): Ref[T] =
 extern global def get[T](ref: Ref[T]): T =
   js "${ref}.value"
   chez "(unbox ${ref})"
-  llvm """
-    %z = call %Pos @c_ref_get(%Pos ${ref})
-    ret %Pos %z
+llvm """
+    %ref_pointer = extractvalue %Pos ${ref}, 1
+    %refField_pointer = getelementptr inbounds ptr, ptr %ref_pointer, i64 2
+    %refField = load %Pos, ptr %refField_pointer, align 8
+
+    tail call void @sharePositive(%Pos %refField)
+    tail call void @erasePositive(%Pos ${ref})
+
+    ret %Pos %refField
   """
   vm "ref::get[T](Ref[T])"
 
@@ -47,7 +92,15 @@ extern global def set[T](ref: Ref[T], value: T): Unit =
   js "set$impl(${ref}, ${value})"
   chez "(set-box! ${ref} ${value})"
   llvm """
-    %z = call %Pos @c_ref_set(%Pos ${ref}, %Pos ${value})
-    ret %Pos %z
+    %refField_pointer = extractvalue %Pos ${ref}, 1
+
+    %field_pointer = getelementptr ptr, ptr %refField_pointer, i64 2
+    %field = load %Pos, ptr %field_pointer, align 8
+
+    tail call void @erasePositive(%Pos %field)
+    store %Pos ${value}, ptr %field_pointer
+    tail call void @erasePositive(%Pos ${ref}) 
+
+    ret %Pos zeroinitializer
   """
   vm "ref::set[T](Ref[T], T)"

package/libraries/common/stringbuffer.effekt

@@ -35,10 +35,11 @@ def stringBuffer[A] { prog: => A / StringBuffer }: A = {
       resume(())
     }
     def flush() = {
-      // resize buffer to strip trailing zeros that otherwise would be converted into 0x00 characters
+      // resize (& copy) buffer to strip trailing zeros that otherwise would be converted into 0x00 characters
       val str = bytearray::resize(buffer, pos).toString()
-      // after flushing, the stringbuffer should be empty again
-      buffer = bytearray::allocate(initialCapacity)
+      // NOTE: Keep the `buffer` as-is (no wipe, no realloc),
+      //       just reset the `pos` in case we want to use it again.
+      pos = 0
       resume(str)
     }
   }
@@ -55,11 +56,22 @@ def s { prog: () => Unit / { literal, splice[String] } }: String =
 namespace examples {
   def main() = {
     with stringBuffer
+
     do write("hello")
     do write(", world")
     // prints `hello, world`
     println(do flush())
+
     // prints the empty string
     println(do flush())
+
+    do write("Ef")
+    do write("fe")
+    do write("kt")
+    do write(" = ")
+    do write("")
+    do write("Effekt")
+    // prints `Effekt = Effekt`
+    println(do flush())
   }
 }

package/libraries/llvm/main.c

@@ -13,8 +13,6 @@
 #include "bytearray.c"
 #include "io.c"
 #include "panic.c"
-#include "ref.c"
-#include "array.c"
 
 
 extern void effektMain();

package/licenses/eclipse public license, version 2.0 - epl-2.0.html

@@ -1,5 +1,5 @@
 <!doctype html><html lang=en><head><meta charset=utf-8><meta http-equiv=X-UA-Compatible content="IE=edge"><meta name=viewport content="width=device-width,initial-scale=1"><title>Eclipse Public License 2.0 (EPL) | The Eclipse Foundation</title>
-<meta property="og:title" content="Eclipse Public License 2.0 (EPL) | The Eclipse Foundation"><meta name=twitter:title content="Eclipse Public License 2.0 (EPL) | The Eclipse Foundation"><meta name=description content="The Eclipse Foundation provides our global community of individuals and organisations with a mature, scalable, and business-friendly environment for open source …"><meta property="og:description" content="The Eclipse Foundation provides our global community of individuals and organisations with a mature, scalable, and business-friendly environment for open source …"><meta name=twitter:description content="The Eclipse Foundation provides our global community of individuals and organisations with a mature, scalable, and business-friendly environment for open source …"><meta name=author content="Wayne Beaton"><link href=/favicon.ico rel=icon type=image/x-icon><meta property="og:image" content="https://www.eclipse.org/images/logos/eclipse-foundation-400x400.png"><meta name=twitter:image content="https://www.eclipse.org/images/logos/eclipse-foundation-400x400.png"><meta name=twitter:card content="summary"><meta name=twitter:site content="@eclipsefdn"><meta name=twitter:creator content="@eclipsefdn"><meta property="og:url" content="https://www.eclipse.org/legal/epl-2.0/"><meta property="og:type" content="website"><meta property="og:site_name" content="Eclipse Foundation"><meta name=keywords content="epl,epl-2.0,legal,foundation,eclipse,eclipse public license,license,licenses"><meta name=generator content="Hugo 0.144.2"><link rel=canonical href=https://www.eclipse.org/legal/epl-2.0/><link rel=alternate href=/legal/epl-2.0/index.xml type=application/rss+xml title><link rel=stylesheet href="/public/css/styles.css?v=1743598368"><script>(function(e,t,n,s,o){e[s]=e[s]||[],e[s].push({"gtm.start":(new Date).getTime(),event:"gtm.js"});var a=t.getElementsByTagName(n)[0],i=t.createElement(n),r=s!="dataLayer"?"&l="+s:"";i.async=!0,i.src="https://www.googletagmanager.com/gtm.js?id="+o+r,a.parentNode.insertBefore(i,a)})(window,document,"script","dataLayer","GTM-5WLCZXC")</script><script>var tableClasses="table"</script><link href="https://fonts.googleapis.com/css2?family=Roboto:ital,wght@0,100;0,300;0,400;0,500;0,700;0,900;1,100;1,300;1,400;1,500;1,700;1,900&display=swap" rel=stylesheet type=text/css></head><body><noscript><iframe src="https://www.googletagmanager.com/ns.html?id=GTM-5WLCZXC" height=0 width=0 style=display:none;visibility:hidden></iframe></noscript><a class=sr-only href=#content>Skip to main content</a><header class="header-wrapper header-wrapper" id=header><div class=header-toolbar><div class=container><div class=header-toolbar-row><div class="toolbar-btn toolbar-search-btn dropdown"><button class=dropdown-toggle id=toolbar-search type=button data-toggle=dropdown tabindex=0 aria-label=Search>
+<meta property="og:title" content="Eclipse Public License 2.0 (EPL) | The Eclipse Foundation"><meta name=twitter:title content="Eclipse Public License 2.0 (EPL) | The Eclipse Foundation"><meta name=description content="The Eclipse Foundation provides our global community of individuals and organisations with a mature, scalable, and business-friendly environment for open source …"><meta property="og:description" content="The Eclipse Foundation provides our global community of individuals and organisations with a mature, scalable, and business-friendly environment for open source …"><meta name=twitter:description content="The Eclipse Foundation provides our global community of individuals and organisations with a mature, scalable, and business-friendly environment for open source …"><meta name=author content="Wayne Beaton"><link href=/favicon.ico rel=icon type=image/x-icon><meta property="og:image" content="https://www.eclipse.org/images/logos/eclipse-foundation-400x400.png"><meta name=twitter:image content="https://www.eclipse.org/images/logos/eclipse-foundation-400x400.png"><meta name=twitter:card content="summary"><meta name=twitter:site content="@eclipsefdn"><meta name=twitter:creator content="@eclipsefdn"><meta property="og:url" content="https://www.eclipse.org/legal/epl-2.0/"><meta property="og:type" content="website"><meta property="og:site_name" content="Eclipse Foundation"><meta name=keywords content="epl,epl-2.0,legal,foundation,eclipse,eclipse public license,license,licenses"><meta name=generator content="Hugo 0.144.2"><link rel=canonical href=https://www.eclipse.org/legal/epl-2.0/><link rel=alternate href=/legal/epl-2.0/index.xml type=application/rss+xml title><link rel=stylesheet href="/public/css/styles.css?v=1745172931"><script>(function(e,t,n,s,o){e[s]=e[s]||[],e[s].push({"gtm.start":(new Date).getTime(),event:"gtm.js"});var a=t.getElementsByTagName(n)[0],i=t.createElement(n),r=s!="dataLayer"?"&l="+s:"";i.async=!0,i.src="https://www.googletagmanager.com/gtm.js?id="+o+r,a.parentNode.insertBefore(i,a)})(window,document,"script","dataLayer","GTM-5WLCZXC")</script><script>var tableClasses="table"</script><link href="https://fonts.googleapis.com/css2?family=Roboto:ital,wght@0,100;0,300;0,400;0,500;0,700;0,900;1,100;1,300;1,400;1,500;1,700;1,900&display=swap" rel=stylesheet type=text/css></head><body><noscript><iframe src="https://www.googletagmanager.com/ns.html?id=GTM-5WLCZXC" height=0 width=0 style=display:none;visibility:hidden></iframe></noscript><a class=sr-only href=#content>Skip to main content</a><header class="header-wrapper header-wrapper" id=header><div class=header-toolbar><div class=container><div class=header-toolbar-row><div class="toolbar-btn toolbar-search-btn dropdown"><button class=dropdown-toggle id=toolbar-search type=button data-toggle=dropdown tabindex=0 aria-label=Search>
 <i class="fa fa-search fa-lg" aria-role=none></i></button><div class="toolbar-search-bar-wrapper dropdown-menu dropdown-menu-right" aria-labelledby=toolbar-search><form action=https://www.eclipse.org/home/search method=get><div class=search-bar><input class=search-bar-input name=q placeholder=Search>
 <button>
 <i class="fa fa-search" type=submit></i></button></div></form></div></div><div class="toolbar-btn toolbar-user-menu-btn dropdown"><button class=dropdown-toggle id=toolbar-user-menu type=button data-toggle=dropdown tabindex=0 aria-label="User Menu">
@@ -60,4 +60,4 @@ open source software collaboration and innovation.</p></div><div class=mega-menu
 <i class="fa-brands fa-linkedin-in fa-stack-1x fa-inverse" aria-hidden=true></i>
 <span class=sr-only>Linkedin account</span></span></a></li></ul></div></div><div class="footer-sections row equal-height-md font-bold"><div class=col-md-15><div class=row><section id=footer-eclipse-foundation class="footer-section col-sm-8"><div class=menu-heading>Eclipse Foundation</div><ul class=nav><li><a href=https://www.eclipse.org/org/>About</a></li><li><a href=https://projects.eclipse.org/>Projects</a></li><li><a href=https://www.eclipse.org/collaborations/>Collaborations</a></li><li><a href=https://www.eclipse.org/membership/>Membership</a></li><li><a href=https://www.eclipse.org/sponsor/>Sponsor</a></li></ul></section><section id=footer-legal class="footer-section col-sm-8"><div class=menu-heading>Legal</div><ul class=nav><li><a href=https://www.eclipse.org/legal/privacy/>Privacy Policy</a></li><li><a href=https://www.eclipse.org/legal/terms-of-use/>Terms of Use</a></li><li><a href=https://www.eclipse.org/legal/compliance/>Compliance</a></li><li><a href=https://www.eclipse.org/org/documents/Community_Code_of_Conduct.php>Code of Conduct</a></li><li><a href=https://www.eclipse.org/legal/>Legal Resources</a></li><li><a class=toolbar-manage-cookies href=# onclick=event.preventDefault()>Manage Cookies</a></li></ul></section><section id=footer-more class="footer-section col-sm-8"><div class=menu-heading>More</div><ul class=nav><li><a href=https://www.eclipse.org/security/>Report a Vulnerability</a></li><li><a href=https://status.eclipse.org/>Service Status</a></li><li><a href=https://www.eclipse.org/org/foundation/contact.php>Contact Us</a></li><li><a href=https://www.eclipse.org/projects/support/>Support</a></li></ul></section></div></div><div id=footer-end class="footer-section col-md-8 col-md-offset-1 col-sm-24"><div class=footer-end-newsletter><form id=mc-embedded-subscribe-form action="https://eclipse.us6.list-manage.com/subscribe/post?u=eaf9e1f06f194eadc66788a85&amp;id=e7538485cd&amp;f_id=00f9c2e1f0" method=post novalidate target=_blank><label class=footer-end-newsletter-label for=email>Subscribe to our Newsletter</label><div class=footer-end-newsletter-input-wrapper><input class=footer-end-newsletter-input type=email id=email name=EMAIL autocomplete=email placeholder="Enter your email address">
 <button class="footer-end-newsletter-submit btn btn-link" id=mc-embedded-subscribe type=submit name=subscribe>
-<i class="fa fa-solid fa-envelope fa-lg" aria-hidden=true></i></button></div></form></div></div></div><div class="col-sm-24 margin-top-20"><div class=row><div id=copyright class=col-md-16><p id=copyright-text>Copyright &copy; Eclipse Foundation AISBL. All Rights Reserved.</p></div></div></div><a href=# class=scrollup>Back to the top</a></div></footer><div id=footer-js><script src="/public/js/main.js?v1.0?v=1743598368"></script><script>(function(){})(jQuery,document)</script></div></body></html>
+<i class="fa fa-solid fa-envelope fa-lg" aria-hidden=true></i></button></div></form></div></div></div><div class="col-sm-24 margin-top-20"><div class=row><div id=copyright class=col-md-16><p id=copyright-text>Copyright &copy; Eclipse Foundation AISBL. All Rights Reserved.</p></div></div></div><a href=# class=scrollup>Back to the top</a></div></footer><div id=footer-js><script src="/public/js/main.js?v1.0?v=1745172931"></script><script>(function(){})(jQuery,document)</script></div></body></html>