(##core#let
  ((class-object573 (find-class/jni582 "java/lang/String"))
   (method575
     (get-static-method-id585
       class-object573
       (symbol->string586 (##core#quote valueOf))
       "(IJDLjava/lang/String;)Ljava/lang/String;"))
   (jvalue-array577 (make-jvalue-array589 5)))
  (##core#lambda
    (a0 a1 a2 a3)
    (##core#begin
      (set-int-jvalue!596 jvalue-array577 0 arg-types->arg-names*571)
      (set-long-jvalue!603 jvalue-array577 1 int)
      (set-double-jvalue!612 jvalue-array577 2 long)
      (set-object-jvalue!622 jvalue-array577 3 double))
    (check-jexception581)))