diff --git a/cl/_testgo/reflect/in.go b/cl/_testgo/reflect/in.go
index 72c2b7d7..8d520649 100644
--- a/cl/_testgo/reflect/in.go
+++ b/cl/_testgo/reflect/in.go
@@ -6,12 +6,32 @@ import (
 )
 
 func main() {
+	callSlice()
 	callFunc()
 	callClosure()
 	callMethod()
 	callIMethod()
 }
 
+func demo(n1, n2, n3, n4, n5, n6, n7, n8, n9 int, a ...interface{}) (int, int) {
+	var sum int
+	for _, v := range a {
+		sum += v.(int)
+	}
+	return n1 + n2 + n3 + n4 + n5 + n6 + n7 + n8 + n9, sum
+}
+
+func callSlice() {
+	v := reflect.ValueOf(demo)
+	n := reflect.ValueOf(1)
+	r := v.Call([]reflect.Value{n, n, n, n, n, n, n, n, n,
+		reflect.ValueOf(1), reflect.ValueOf(2), reflect.ValueOf(3)})
+	println("call.slice", r[0].Int(), r[1].Int())
+	r = v.CallSlice([]reflect.Value{n, n, n, n, n, n, n, n, n,
+		reflect.ValueOf([]interface{}{1, 2, 3})})
+	println("call.slice", r[0].Int(), r[1].Int())
+}
+
 func callFunc() {
 	var f any = func(n int) int {
 		println("call.func")
diff --git a/cl/_testgo/reflect/out.ll b/cl/_testgo/reflect/out.ll
index 73e8cc86..4982e4f3 100644
--- a/cl/_testgo/reflect/out.ll
+++ b/cl/_testgo/reflect/out.ll
@@ -36,6 +36,12 @@ source_filename = "main"
 @"_llgo_iface$VdBKYV8-gcMjZtZfcf-u2oKoj9Lu3VXwuG8TGCW2S4A" = linkonce global ptr null, align 8
 @13 = private unnamed_addr constant [7 x i8] c"imethod", align 1
 @14 = private unnamed_addr constant [6 x i8] c"method", align 1
+@_llgo_any = linkonce global ptr null, align 8
+@"[]_llgo_any" = linkonce global ptr null, align 8
+@"_llgo_func$KK0iU4Wpi3BdRqssvycXqtgNe2Dq1riBlM61Rds1QsU" = linkonce global ptr null, align 8
+@"main.struct$zCLFE3aa581X7nuJztqlq4JjJDbHkfoMY0CexWOzH8A" = linkonce global ptr null, align 8
+@15 = private unnamed_addr constant [10 x i8] c"call.slice", align 1
+@16 = private unnamed_addr constant [21 x i8] c"type assertion failed", align 1
 @__llgo_argc = global i32 0, align 4
 @__llgo_argv = global ptr null, align 8
 
@@ -402,6 +408,211 @@ _llgo_0:
   ret void
 }
 
+define void @main.callSlice() {
+_llgo_0:
+  %0 = load ptr, ptr @_llgo_any, align 8
+  %1 = load ptr, ptr @"[]_llgo_any", align 8
+  %2 = load ptr, ptr @"_llgo_func$KK0iU4Wpi3BdRqssvycXqtgNe2Dq1riBlM61Rds1QsU", align 8
+  %3 = load ptr, ptr @"main.struct$zCLFE3aa581X7nuJztqlq4JjJDbHkfoMY0CexWOzH8A", align 8
+  call void @"github.com/goplus/llgo/internal/runtime.SetClosure"(ptr %3)
+  %4 = call ptr @"github.com/goplus/llgo/internal/runtime.AllocU"(i64 16)
+  store { ptr, ptr } { ptr @__llgo_stub.main.demo, ptr null }, ptr %4, align 8
+  %5 = insertvalue %"github.com/goplus/llgo/internal/runtime.eface" undef, ptr %3, 0
+  %6 = insertvalue %"github.com/goplus/llgo/internal/runtime.eface" %5, ptr %4, 1
+  %7 = call %reflect.Value @reflect.ValueOf(%"github.com/goplus/llgo/internal/runtime.eface" %6)
+  %8 = load ptr, ptr @_llgo_int, align 8
+  %9 = insertvalue %"github.com/goplus/llgo/internal/runtime.eface" undef, ptr %8, 0
+  %10 = insertvalue %"github.com/goplus/llgo/internal/runtime.eface" %9, ptr inttoptr (i64 1 to ptr), 1
+  %11 = call %reflect.Value @reflect.ValueOf(%"github.com/goplus/llgo/internal/runtime.eface" %10)
+  %12 = call ptr @"github.com/goplus/llgo/internal/runtime.AllocZ"(i64 288)
+  %13 = getelementptr inbounds %reflect.Value, ptr %12, i64 0
+  store %reflect.Value %11, ptr %13, align 8
+  %14 = getelementptr inbounds %reflect.Value, ptr %12, i64 1
+  store %reflect.Value %11, ptr %14, align 8
+  %15 = getelementptr inbounds %reflect.Value, ptr %12, i64 2
+  store %reflect.Value %11, ptr %15, align 8
+  %16 = getelementptr inbounds %reflect.Value, ptr %12, i64 3
+  store %reflect.Value %11, ptr %16, align 8
+  %17 = getelementptr inbounds %reflect.Value, ptr %12, i64 4
+  store %reflect.Value %11, ptr %17, align 8
+  %18 = getelementptr inbounds %reflect.Value, ptr %12, i64 5
+  store %reflect.Value %11, ptr %18, align 8
+  %19 = getelementptr inbounds %reflect.Value, ptr %12, i64 6
+  store %reflect.Value %11, ptr %19, align 8
+  %20 = getelementptr inbounds %reflect.Value, ptr %12, i64 7
+  store %reflect.Value %11, ptr %20, align 8
+  %21 = getelementptr inbounds %reflect.Value, ptr %12, i64 8
+  store %reflect.Value %11, ptr %21, align 8
+  %22 = getelementptr inbounds %reflect.Value, ptr %12, i64 9
+  %23 = load ptr, ptr @_llgo_int, align 8
+  %24 = insertvalue %"github.com/goplus/llgo/internal/runtime.eface" undef, ptr %23, 0
+  %25 = insertvalue %"github.com/goplus/llgo/internal/runtime.eface" %24, ptr inttoptr (i64 1 to ptr), 1
+  %26 = call %reflect.Value @reflect.ValueOf(%"github.com/goplus/llgo/internal/runtime.eface" %25)
+  store %reflect.Value %26, ptr %22, align 8
+  %27 = getelementptr inbounds %reflect.Value, ptr %12, i64 10
+  %28 = load ptr, ptr @_llgo_int, align 8
+  %29 = insertvalue %"github.com/goplus/llgo/internal/runtime.eface" undef, ptr %28, 0
+  %30 = insertvalue %"github.com/goplus/llgo/internal/runtime.eface" %29, ptr inttoptr (i64 2 to ptr), 1
+  %31 = call %reflect.Value @reflect.ValueOf(%"github.com/goplus/llgo/internal/runtime.eface" %30)
+  store %reflect.Value %31, ptr %27, align 8
+  %32 = getelementptr inbounds %reflect.Value, ptr %12, i64 11
+  %33 = load ptr, ptr @_llgo_int, align 8
+  %34 = insertvalue %"github.com/goplus/llgo/internal/runtime.eface" undef, ptr %33, 0
+  %35 = insertvalue %"github.com/goplus/llgo/internal/runtime.eface" %34, ptr inttoptr (i64 3 to ptr), 1
+  %36 = call %reflect.Value @reflect.ValueOf(%"github.com/goplus/llgo/internal/runtime.eface" %35)
+  store %reflect.Value %36, ptr %32, align 8
+  %37 = insertvalue %"github.com/goplus/llgo/internal/runtime.Slice" undef, ptr %12, 0
+  %38 = insertvalue %"github.com/goplus/llgo/internal/runtime.Slice" %37, i64 12, 1
+  %39 = insertvalue %"github.com/goplus/llgo/internal/runtime.Slice" %38, i64 12, 2
+  %40 = call %"github.com/goplus/llgo/internal/runtime.Slice" @reflect.Value.Call(%reflect.Value %7, %"github.com/goplus/llgo/internal/runtime.Slice" %39)
+  %41 = extractvalue %"github.com/goplus/llgo/internal/runtime.Slice" %40, 0
+  %42 = extractvalue %"github.com/goplus/llgo/internal/runtime.Slice" %40, 1
+  %43 = icmp sge i64 0, %42
+  call void @"github.com/goplus/llgo/internal/runtime.AssertIndexRange"(i1 %43)
+  %44 = getelementptr inbounds %reflect.Value, ptr %41, i64 0
+  %45 = load %reflect.Value, ptr %44, align 8
+  %46 = call i64 @reflect.Value.Int(%reflect.Value %45)
+  %47 = extractvalue %"github.com/goplus/llgo/internal/runtime.Slice" %40, 0
+  %48 = extractvalue %"github.com/goplus/llgo/internal/runtime.Slice" %40, 1
+  %49 = icmp sge i64 1, %48
+  call void @"github.com/goplus/llgo/internal/runtime.AssertIndexRange"(i1 %49)
+  %50 = getelementptr inbounds %reflect.Value, ptr %47, i64 1
+  %51 = load %reflect.Value, ptr %50, align 8
+  %52 = call i64 @reflect.Value.Int(%reflect.Value %51)
+  call void @"github.com/goplus/llgo/internal/runtime.PrintString"(%"github.com/goplus/llgo/internal/runtime.String" { ptr @15, i64 10 })
+  call void @"github.com/goplus/llgo/internal/runtime.PrintByte"(i8 32)
+  call void @"github.com/goplus/llgo/internal/runtime.PrintInt"(i64 %46)
+  call void @"github.com/goplus/llgo/internal/runtime.PrintByte"(i8 32)
+  call void @"github.com/goplus/llgo/internal/runtime.PrintInt"(i64 %52)
+  call void @"github.com/goplus/llgo/internal/runtime.PrintByte"(i8 10)
+  %53 = call ptr @"github.com/goplus/llgo/internal/runtime.AllocZ"(i64 240)
+  %54 = getelementptr inbounds %reflect.Value, ptr %53, i64 0
+  store %reflect.Value %11, ptr %54, align 8
+  %55 = getelementptr inbounds %reflect.Value, ptr %53, i64 1
+  store %reflect.Value %11, ptr %55, align 8
+  %56 = getelementptr inbounds %reflect.Value, ptr %53, i64 2
+  store %reflect.Value %11, ptr %56, align 8
+  %57 = getelementptr inbounds %reflect.Value, ptr %53, i64 3
+  store %reflect.Value %11, ptr %57, align 8
+  %58 = getelementptr inbounds %reflect.Value, ptr %53, i64 4
+  store %reflect.Value %11, ptr %58, align 8
+  %59 = getelementptr inbounds %reflect.Value, ptr %53, i64 5
+  store %reflect.Value %11, ptr %59, align 8
+  %60 = getelementptr inbounds %reflect.Value, ptr %53, i64 6
+  store %reflect.Value %11, ptr %60, align 8
+  %61 = getelementptr inbounds %reflect.Value, ptr %53, i64 7
+  store %reflect.Value %11, ptr %61, align 8
+  %62 = getelementptr inbounds %reflect.Value, ptr %53, i64 8
+  store %reflect.Value %11, ptr %62, align 8
+  %63 = getelementptr inbounds %reflect.Value, ptr %53, i64 9
+  %64 = call ptr @"github.com/goplus/llgo/internal/runtime.AllocZ"(i64 48)
+  %65 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.eface", ptr %64, i64 0
+  %66 = load ptr, ptr @_llgo_int, align 8
+  %67 = insertvalue %"github.com/goplus/llgo/internal/runtime.eface" undef, ptr %66, 0
+  %68 = insertvalue %"github.com/goplus/llgo/internal/runtime.eface" %67, ptr inttoptr (i64 1 to ptr), 1
+  store %"github.com/goplus/llgo/internal/runtime.eface" %68, ptr %65, align 8
+  %69 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.eface", ptr %64, i64 1
+  %70 = load ptr, ptr @_llgo_int, align 8
+  %71 = insertvalue %"github.com/goplus/llgo/internal/runtime.eface" undef, ptr %70, 0
+  %72 = insertvalue %"github.com/goplus/llgo/internal/runtime.eface" %71, ptr inttoptr (i64 2 to ptr), 1
+  store %"github.com/goplus/llgo/internal/runtime.eface" %72, ptr %69, align 8
+  %73 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.eface", ptr %64, i64 2
+  %74 = load ptr, ptr @_llgo_int, align 8
+  %75 = insertvalue %"github.com/goplus/llgo/internal/runtime.eface" undef, ptr %74, 0
+  %76 = insertvalue %"github.com/goplus/llgo/internal/runtime.eface" %75, ptr inttoptr (i64 3 to ptr), 1
+  store %"github.com/goplus/llgo/internal/runtime.eface" %76, ptr %73, align 8
+  %77 = insertvalue %"github.com/goplus/llgo/internal/runtime.Slice" undef, ptr %64, 0
+  %78 = insertvalue %"github.com/goplus/llgo/internal/runtime.Slice" %77, i64 3, 1
+  %79 = insertvalue %"github.com/goplus/llgo/internal/runtime.Slice" %78, i64 3, 2
+  %80 = load ptr, ptr @"[]_llgo_any", align 8
+  %81 = call ptr @"github.com/goplus/llgo/internal/runtime.AllocU"(i64 24)
+  store %"github.com/goplus/llgo/internal/runtime.Slice" %79, ptr %81, align 8
+  %82 = insertvalue %"github.com/goplus/llgo/internal/runtime.eface" undef, ptr %80, 0
+  %83 = insertvalue %"github.com/goplus/llgo/internal/runtime.eface" %82, ptr %81, 1
+  %84 = call %reflect.Value @reflect.ValueOf(%"github.com/goplus/llgo/internal/runtime.eface" %83)
+  store %reflect.Value %84, ptr %63, align 8
+  %85 = insertvalue %"github.com/goplus/llgo/internal/runtime.Slice" undef, ptr %53, 0
+  %86 = insertvalue %"github.com/goplus/llgo/internal/runtime.Slice" %85, i64 10, 1
+  %87 = insertvalue %"github.com/goplus/llgo/internal/runtime.Slice" %86, i64 10, 2
+  %88 = call %"github.com/goplus/llgo/internal/runtime.Slice" @reflect.Value.CallSlice(%reflect.Value %7, %"github.com/goplus/llgo/internal/runtime.Slice" %87)
+  %89 = extractvalue %"github.com/goplus/llgo/internal/runtime.Slice" %88, 0
+  %90 = extractvalue %"github.com/goplus/llgo/internal/runtime.Slice" %88, 1
+  %91 = icmp sge i64 0, %90
+  call void @"github.com/goplus/llgo/internal/runtime.AssertIndexRange"(i1 %91)
+  %92 = getelementptr inbounds %reflect.Value, ptr %89, i64 0
+  %93 = load %reflect.Value, ptr %92, align 8
+  %94 = call i64 @reflect.Value.Int(%reflect.Value %93)
+  %95 = extractvalue %"github.com/goplus/llgo/internal/runtime.Slice" %88, 0
+  %96 = extractvalue %"github.com/goplus/llgo/internal/runtime.Slice" %88, 1
+  %97 = icmp sge i64 1, %96
+  call void @"github.com/goplus/llgo/internal/runtime.AssertIndexRange"(i1 %97)
+  %98 = getelementptr inbounds %reflect.Value, ptr %95, i64 1
+  %99 = load %reflect.Value, ptr %98, align 8
+  %100 = call i64 @reflect.Value.Int(%reflect.Value %99)
+  call void @"github.com/goplus/llgo/internal/runtime.PrintString"(%"github.com/goplus/llgo/internal/runtime.String" { ptr @15, i64 10 })
+  call void @"github.com/goplus/llgo/internal/runtime.PrintByte"(i8 32)
+  call void @"github.com/goplus/llgo/internal/runtime.PrintInt"(i64 %94)
+  call void @"github.com/goplus/llgo/internal/runtime.PrintByte"(i8 32)
+  call void @"github.com/goplus/llgo/internal/runtime.PrintInt"(i64 %100)
+  call void @"github.com/goplus/llgo/internal/runtime.PrintByte"(i8 10)
+  ret void
+}
+
+define { i64, i64 } @main.demo(i64 %0, i64 %1, i64 %2, i64 %3, i64 %4, i64 %5, i64 %6, i64 %7, i64 %8, %"github.com/goplus/llgo/internal/runtime.Slice" %9) {
+_llgo_0:
+  %10 = extractvalue %"github.com/goplus/llgo/internal/runtime.Slice" %9, 1
+  br label %_llgo_1
+
+_llgo_1:                                          ; preds = %_llgo_4, %_llgo_0
+  %11 = phi i64 [ 0, %_llgo_0 ], [ %37, %_llgo_4 ]
+  %12 = phi i64 [ -1, %_llgo_0 ], [ %13, %_llgo_4 ]
+  %13 = add i64 %12, 1
+  %14 = icmp slt i64 %13, %10
+  br i1 %14, label %_llgo_2, label %_llgo_3
+
+_llgo_2:                                          ; preds = %_llgo_1
+  %15 = extractvalue %"github.com/goplus/llgo/internal/runtime.Slice" %9, 0
+  %16 = extractvalue %"github.com/goplus/llgo/internal/runtime.Slice" %9, 1
+  %17 = icmp slt i64 %13, 0
+  %18 = icmp sge i64 %13, %16
+  %19 = or i1 %18, %17
+  call void @"github.com/goplus/llgo/internal/runtime.AssertIndexRange"(i1 %19)
+  %20 = getelementptr inbounds %"github.com/goplus/llgo/internal/runtime.eface", ptr %15, i64 %13
+  %21 = load %"github.com/goplus/llgo/internal/runtime.eface", ptr %20, align 8
+  %22 = extractvalue %"github.com/goplus/llgo/internal/runtime.eface" %21, 0
+  %23 = load ptr, ptr @_llgo_int, align 8
+  %24 = icmp eq ptr %22, %23
+  br i1 %24, label %_llgo_4, label %_llgo_5
+
+_llgo_3:                                          ; preds = %_llgo_1
+  %25 = add i64 %0, %1
+  %26 = add i64 %25, %2
+  %27 = add i64 %26, %3
+  %28 = add i64 %27, %4
+  %29 = add i64 %28, %5
+  %30 = add i64 %29, %6
+  %31 = add i64 %30, %7
+  %32 = add i64 %31, %8
+  %33 = insertvalue { i64, i64 } undef, i64 %32, 0
+  %34 = insertvalue { i64, i64 } %33, i64 %11, 1
+  ret { i64, i64 } %34
+
+_llgo_4:                                          ; preds = %_llgo_2
+  %35 = extractvalue %"github.com/goplus/llgo/internal/runtime.eface" %21, 1
+  %36 = ptrtoint ptr %35 to i64
+  %37 = add i64 %11, %36
+  br label %_llgo_1
+
+_llgo_5:                                          ; preds = %_llgo_2
+  %38 = load ptr, ptr @_llgo_string, align 8
+  %39 = call ptr @"github.com/goplus/llgo/internal/runtime.AllocU"(i64 16)
+  store %"github.com/goplus/llgo/internal/runtime.String" { ptr @16, i64 21 }, ptr %39, align 8
+  %40 = insertvalue %"github.com/goplus/llgo/internal/runtime.eface" undef, ptr %38, 0
+  %41 = insertvalue %"github.com/goplus/llgo/internal/runtime.eface" %40, ptr %39, 1
+  call void @"github.com/goplus/llgo/internal/runtime.Panic"(%"github.com/goplus/llgo/internal/runtime.eface" %41)
+  unreachable
+}
+
 define void @main.init() {
 _llgo_0:
   %0 = load i1, ptr @"main.init$guard", align 1
@@ -423,6 +634,7 @@ _llgo_0:
   store ptr %1, ptr @__llgo_argv, align 8
   call void @"github.com/goplus/llgo/internal/runtime.init"()
   call void @main.init()
+  call void @main.callSlice()
   call void @main.callFunc()
   call void @main.callClosure()
   call void @main.callMethod()
@@ -594,6 +806,148 @@ _llgo_15:                                         ; preds = %_llgo_14
   br label %_llgo_16
 
 _llgo_16:                                         ; preds = %_llgo_15, %_llgo_14
+  %82 = load ptr, ptr @_llgo_any, align 8
+  %83 = icmp eq ptr %82, null
+  br i1 %83, label %_llgo_17, label %_llgo_18
+
+_llgo_17:                                         ; preds = %_llgo_16
+  %84 = call ptr @"github.com/goplus/llgo/internal/runtime.AllocU"(i64 0)
+  %85 = insertvalue %"github.com/goplus/llgo/internal/runtime.Slice" undef, ptr %84, 0
+  %86 = insertvalue %"github.com/goplus/llgo/internal/runtime.Slice" %85, i64 0, 1
+  %87 = insertvalue %"github.com/goplus/llgo/internal/runtime.Slice" %86, i64 0, 2
+  %88 = call ptr @"github.com/goplus/llgo/internal/runtime.Interface"(%"github.com/goplus/llgo/internal/runtime.String" { ptr @3, i64 4 }, %"github.com/goplus/llgo/internal/runtime.String" zeroinitializer, %"github.com/goplus/llgo/internal/runtime.Slice" %87)
+  store ptr %88, ptr @_llgo_any, align 8
+  br label %_llgo_18
+
+_llgo_18:                                         ; preds = %_llgo_17, %_llgo_16
+  %89 = load ptr, ptr @"[]_llgo_any", align 8
+  %90 = icmp eq ptr %89, null
+  br i1 %90, label %_llgo_19, label %_llgo_20
+
+_llgo_19:                                         ; preds = %_llgo_18
+  %91 = call ptr @"github.com/goplus/llgo/internal/runtime.AllocU"(i64 0)
+  %92 = insertvalue %"github.com/goplus/llgo/internal/runtime.Slice" undef, ptr %91, 0
+  %93 = insertvalue %"github.com/goplus/llgo/internal/runtime.Slice" %92, i64 0, 1
+  %94 = insertvalue %"github.com/goplus/llgo/internal/runtime.Slice" %93, i64 0, 2
+  %95 = call ptr @"github.com/goplus/llgo/internal/runtime.Interface"(%"github.com/goplus/llgo/internal/runtime.String" { ptr @3, i64 4 }, %"github.com/goplus/llgo/internal/runtime.String" zeroinitializer, %"github.com/goplus/llgo/internal/runtime.Slice" %94)
+  %96 = call ptr @"github.com/goplus/llgo/internal/runtime.SliceOf"(ptr %95)
+  store ptr %96, ptr @"[]_llgo_any", align 8
+  br label %_llgo_20
+
+_llgo_20:                                         ; preds = %_llgo_19, %_llgo_18
+  %97 = load ptr, ptr @_llgo_int, align 8
+  %98 = load ptr, ptr @_llgo_int, align 8
+  %99 = load ptr, ptr @_llgo_int, align 8
+  %100 = load ptr, ptr @_llgo_int, align 8
+  %101 = load ptr, ptr @_llgo_int, align 8
+  %102 = load ptr, ptr @_llgo_int, align 8
+  %103 = load ptr, ptr @_llgo_int, align 8
+  %104 = load ptr, ptr @_llgo_int, align 8
+  %105 = load ptr, ptr @_llgo_int, align 8
+  %106 = load ptr, ptr @"[]_llgo_any", align 8
+  %107 = load ptr, ptr @_llgo_int, align 8
+  %108 = load ptr, ptr @_llgo_int, align 8
+  %109 = load ptr, ptr @"_llgo_func$KK0iU4Wpi3BdRqssvycXqtgNe2Dq1riBlM61Rds1QsU", align 8
+  %110 = icmp eq ptr %109, null
+  br i1 %110, label %_llgo_21, label %_llgo_22
+
+_llgo_21:                                         ; preds = %_llgo_20
+  %111 = call ptr @"github.com/goplus/llgo/internal/runtime.AllocU"(i64 80)
+  %112 = getelementptr ptr, ptr %111, i64 0
+  store ptr %97, ptr %112, align 8
+  %113 = getelementptr ptr, ptr %111, i64 1
+  store ptr %98, ptr %113, align 8
+  %114 = getelementptr ptr, ptr %111, i64 2
+  store ptr %99, ptr %114, align 8
+  %115 = getelementptr ptr, ptr %111, i64 3
+  store ptr %100, ptr %115, align 8
+  %116 = getelementptr ptr, ptr %111, i64 4
+  store ptr %101, ptr %116, align 8
+  %117 = getelementptr ptr, ptr %111, i64 5
+  store ptr %102, ptr %117, align 8
+  %118 = getelementptr ptr, ptr %111, i64 6
+  store ptr %103, ptr %118, align 8
+  %119 = getelementptr ptr, ptr %111, i64 7
+  store ptr %104, ptr %119, align 8
+  %120 = getelementptr ptr, ptr %111, i64 8
+  store ptr %105, ptr %120, align 8
+  %121 = getelementptr ptr, ptr %111, i64 9
+  store ptr %106, ptr %121, align 8
+  %122 = insertvalue %"github.com/goplus/llgo/internal/runtime.Slice" undef, ptr %111, 0
+  %123 = insertvalue %"github.com/goplus/llgo/internal/runtime.Slice" %122, i64 10, 1
+  %124 = insertvalue %"github.com/goplus/llgo/internal/runtime.Slice" %123, i64 10, 2
+  %125 = call ptr @"github.com/goplus/llgo/internal/runtime.AllocU"(i64 16)
+  %126 = getelementptr ptr, ptr %125, i64 0
+  store ptr %107, ptr %126, align 8
+  %127 = getelementptr ptr, ptr %125, i64 1
+  store ptr %108, ptr %127, align 8
+  %128 = insertvalue %"github.com/goplus/llgo/internal/runtime.Slice" undef, ptr %125, 0
+  %129 = insertvalue %"github.com/goplus/llgo/internal/runtime.Slice" %128, i64 2, 1
+  %130 = insertvalue %"github.com/goplus/llgo/internal/runtime.Slice" %129, i64 2, 2
+  %131 = call ptr @"github.com/goplus/llgo/internal/runtime.Func"(%"github.com/goplus/llgo/internal/runtime.Slice" %124, %"github.com/goplus/llgo/internal/runtime.Slice" %130, i1 true)
+  call void @"github.com/goplus/llgo/internal/runtime.SetDirectIface"(ptr %131)
+  store ptr %131, ptr @"_llgo_func$KK0iU4Wpi3BdRqssvycXqtgNe2Dq1riBlM61Rds1QsU", align 8
+  br label %_llgo_22
+
+_llgo_22:                                         ; preds = %_llgo_21, %_llgo_20
+  %132 = load ptr, ptr @_llgo_int, align 8
+  %133 = load ptr, ptr @_llgo_int, align 8
+  %134 = load ptr, ptr @_llgo_int, align 8
+  %135 = load ptr, ptr @_llgo_int, align 8
+  %136 = load ptr, ptr @_llgo_int, align 8
+  %137 = load ptr, ptr @_llgo_int, align 8
+  %138 = load ptr, ptr @_llgo_int, align 8
+  %139 = load ptr, ptr @_llgo_int, align 8
+  %140 = load ptr, ptr @_llgo_int, align 8
+  %141 = load ptr, ptr @"[]_llgo_any", align 8
+  %142 = load ptr, ptr @_llgo_int, align 8
+  %143 = load ptr, ptr @_llgo_int, align 8
+  %144 = call ptr @"github.com/goplus/llgo/internal/runtime.AllocU"(i64 80)
+  %145 = getelementptr ptr, ptr %144, i64 0
+  store ptr %132, ptr %145, align 8
+  %146 = getelementptr ptr, ptr %144, i64 1
+  store ptr %133, ptr %146, align 8
+  %147 = getelementptr ptr, ptr %144, i64 2
+  store ptr %134, ptr %147, align 8
+  %148 = getelementptr ptr, ptr %144, i64 3
+  store ptr %135, ptr %148, align 8
+  %149 = getelementptr ptr, ptr %144, i64 4
+  store ptr %136, ptr %149, align 8
+  %150 = getelementptr ptr, ptr %144, i64 5
+  store ptr %137, ptr %150, align 8
+  %151 = getelementptr ptr, ptr %144, i64 6
+  store ptr %138, ptr %151, align 8
+  %152 = getelementptr ptr, ptr %144, i64 7
+  store ptr %139, ptr %152, align 8
+  %153 = getelementptr ptr, ptr %144, i64 8
+  store ptr %140, ptr %153, align 8
+  %154 = getelementptr ptr, ptr %144, i64 9
+  store ptr %141, ptr %154, align 8
+  %155 = insertvalue %"github.com/goplus/llgo/internal/runtime.Slice" undef, ptr %144, 0
+  %156 = insertvalue %"github.com/goplus/llgo/internal/runtime.Slice" %155, i64 10, 1
+  %157 = insertvalue %"github.com/goplus/llgo/internal/runtime.Slice" %156, i64 10, 2
+  %158 = call ptr @"github.com/goplus/llgo/internal/runtime.AllocU"(i64 16)
+  %159 = getelementptr ptr, ptr %158, i64 0
+  store ptr %142, ptr %159, align 8
+  %160 = getelementptr ptr, ptr %158, i64 1
+  store ptr %143, ptr %160, align 8
+  %161 = insertvalue %"github.com/goplus/llgo/internal/runtime.Slice" undef, ptr %158, 0
+  %162 = insertvalue %"github.com/goplus/llgo/internal/runtime.Slice" %161, i64 2, 1
+  %163 = insertvalue %"github.com/goplus/llgo/internal/runtime.Slice" %162, i64 2, 2
+  %164 = call ptr @"github.com/goplus/llgo/internal/runtime.Func"(%"github.com/goplus/llgo/internal/runtime.Slice" %157, %"github.com/goplus/llgo/internal/runtime.Slice" %163, i1 true)
+  %165 = call %"github.com/goplus/llgo/internal/abi.StructField" @"github.com/goplus/llgo/internal/runtime.StructField"(%"github.com/goplus/llgo/internal/runtime.String" { ptr @1, i64 1 }, ptr %164, i64 0, %"github.com/goplus/llgo/internal/runtime.String" zeroinitializer, i1 false)
+  %166 = call ptr @"github.com/goplus/llgo/internal/runtime.Basic"(i64 58)
+  %167 = call %"github.com/goplus/llgo/internal/abi.StructField" @"github.com/goplus/llgo/internal/runtime.StructField"(%"github.com/goplus/llgo/internal/runtime.String" { ptr @2, i64 4 }, ptr %166, i64 8, %"github.com/goplus/llgo/internal/runtime.String" zeroinitializer, i1 false)
+  %168 = call ptr @"github.com/goplus/llgo/internal/runtime.AllocU"(i64 112)
+  %169 = getelementptr %"github.com/goplus/llgo/internal/abi.StructField", ptr %168, i64 0
+  store %"github.com/goplus/llgo/internal/abi.StructField" %165, ptr %169, align 8
+  %170 = getelementptr %"github.com/goplus/llgo/internal/abi.StructField", ptr %168, i64 1
+  store %"github.com/goplus/llgo/internal/abi.StructField" %167, ptr %170, align 8
+  %171 = insertvalue %"github.com/goplus/llgo/internal/runtime.Slice" undef, ptr %168, 0
+  %172 = insertvalue %"github.com/goplus/llgo/internal/runtime.Slice" %171, i64 2, 1
+  %173 = insertvalue %"github.com/goplus/llgo/internal/runtime.Slice" %172, i64 2, 2
+  %174 = call ptr @"github.com/goplus/llgo/internal/runtime.Struct"(%"github.com/goplus/llgo/internal/runtime.String" { ptr @3, i64 4 }, i64 16, %"github.com/goplus/llgo/internal/runtime.Slice" %173)
+  store ptr %174, ptr @"main.struct$zCLFE3aa581X7nuJztqlq4JjJDbHkfoMY0CexWOzH8A", align 8
   ret void
 }
 
@@ -649,6 +1003,16 @@ declare ptr @"github.com/goplus/llgo/internal/runtime.IfaceType"(%"github.com/go
 
 declare %reflect.Value @reflect.Value.Method(%reflect.Value, i64)
 
+define linkonce { i64, i64 } @__llgo_stub.main.demo(ptr %0, i64 %1, i64 %2, i64 %3, i64 %4, i64 %5, i64 %6, i64 %7, i64 %8, i64 %9, %"github.com/goplus/llgo/internal/runtime.Slice" %10) {
+_llgo_0:
+  %11 = tail call { i64, i64 } @main.demo(i64 %1, i64 %2, i64 %3, i64 %4, i64 %5, i64 %6, i64 %7, i64 %8, i64 %9, %"github.com/goplus/llgo/internal/runtime.Slice" %10)
+  ret { i64, i64 } %11
+}
+
+declare ptr @"github.com/goplus/llgo/internal/runtime.SliceOf"(ptr)
+
+declare %"github.com/goplus/llgo/internal/runtime.Slice" @reflect.Value.CallSlice(%reflect.Value, %"github.com/goplus/llgo/internal/runtime.Slice")
+
 declare void @reflect.init()
 
 declare void @"github.com/goplus/llgo/internal/runtime.init"()
diff --git a/internal/abi/type.go b/internal/abi/type.go
index 94b23890..069d1b2a 100644
--- a/internal/abi/type.go
+++ b/internal/abi/type.go
@@ -572,7 +572,7 @@ func (t *Type) ExportedMethods() []Method {
 func (t *Type) NumMethod() int {
 	if t.Kind() == Interface {
 		tt := (*InterfaceType)(unsafe.Pointer(t))
-		return tt.NumMethod()
+		return len(tt.Methods)
 	}
 	return len(t.ExportedMethods())
 }
diff --git a/internal/lib/reflect/type.go b/internal/lib/reflect/type.go
index d2b8168f..e030d4f7 100644
--- a/internal/lib/reflect/type.go
+++ b/internal/lib/reflect/type.go
@@ -1125,14 +1125,11 @@ func (t *rtype) Implements(u Type) bool {
 }
 
 func (t *rtype) AssignableTo(u Type) bool {
-	/*
-		if u == nil {
-			panic("reflect: nil type passed to Type.AssignableTo")
-		}
-		uu := u.common()
-		return directlyAssignable(uu, t.common()) || implements(uu, t.common())
-	*/
-	panic("todo: reflect.rtype.AssignableTo")
+	if u == nil {
+		panic("reflect: nil type passed to Type.AssignableTo")
+	}
+	uu := u.common()
+	return directlyAssignable(uu, t.common()) || implements(uu, t.common())
 }
 
 func (t *rtype) ConvertibleTo(u Type) bool {
@@ -1150,92 +1147,9 @@ func (t *rtype) Comparable() bool {
 }
 
 // implements reports whether the type V implements the interface type T.
-func implements(T, V *abi.Type) bool {
-	if T.Kind() != abi.Interface {
-		return false
-	}
-	t := (*interfaceType)(unsafe.Pointer(T))
-	if len(t.Methods) == 0 {
-		return true
-	}
-
-	/*
-		// The same algorithm applies in both cases, but the
-		// method tables for an interface type and a concrete type
-		// are different, so the code is duplicated.
-		// In both cases the algorithm is a linear scan over the two
-		// lists - T's methods and V's methods - simultaneously.
-		// Since method tables are stored in a unique sorted order
-		// (alphabetical, with no duplicate method names), the scan
-		// through V's methods must hit a match for each of T's
-		// methods along the way, or else V does not implement T.
-		// This lets us run the scan in overall linear time instead of
-		// the quadratic time  a naive search would require.
-		// See also ../runtime/iface.go.
-		if V.Kind() == abi.Interface {
-			v := (*interfaceType)(unsafe.Pointer(V))
-			i := 0
-			for j := 0; j < len(v.Methods); j++ {
-				tm := &t.Methods[i]
-				tmName := t.nameOff(tm.Name)
-				vm := &v.Methods[j]
-				vmName := nameOffFor(V, vm.Name)
-				if vmName.Name() == tmName.Name() && typeOffFor(V, vm.Typ) == t.typeOff(tm.Typ) {
-					if !tmName.IsExported() {
-						tmPkgPath := pkgPath(tmName)
-						if tmPkgPath == "" {
-							tmPkgPath = t.PkgPath.Name()
-						}
-						vmPkgPath := pkgPath(vmName)
-						if vmPkgPath == "" {
-							vmPkgPath = v.PkgPath.Name()
-						}
-						if tmPkgPath != vmPkgPath {
-							continue
-						}
-					}
-					if i++; i >= len(t.Methods) {
-						return true
-					}
-				}
-			}
-			return false
-		}
-
-		v := V.Uncommon()
-		if v == nil {
-			return false
-		}
-		i := 0
-		vmethods := v.Methods()
-		for j := 0; j < int(v.Mcount); j++ {
-			tm := &t.Methods[i]
-			tmName := t.nameOff(tm.Name)
-			vm := vmethods[j]
-			vmName := nameOffFor(V, vm.Name)
-			if vmName.Name() == tmName.Name() && typeOffFor(V, vm.Mtyp) == t.typeOff(tm.Typ) {
-				if !tmName.IsExported() {
-					tmPkgPath := pkgPath(tmName)
-					if tmPkgPath == "" {
-						tmPkgPath = t.PkgPath.Name()
-					}
-					vmPkgPath := pkgPath(vmName)
-					if vmPkgPath == "" {
-						vmPkgPath = nameOffFor(V, v.PkgPath).Name()
-					}
-					if tmPkgPath != vmPkgPath {
-						continue
-					}
-				}
-				if i++; i >= len(t.Methods) {
-					return true
-				}
-			}
-		}
-		return false
-	*/
-	panic("todo: reflect.implements")
-}
+//
+//go:linkname implements github.com/goplus/llgo/internal/runtime.Implements
+func implements(T, V *abi.Type) bool
 
 // specialChannelAssignability reports whether a value x of channel type V
 // can be directly assigned (using memmove) to another channel type T.
diff --git a/internal/lib/reflect/value.go b/internal/lib/reflect/value.go
index 44f37261..ca484402 100644
--- a/internal/lib/reflect/value.go
+++ b/internal/lib/reflect/value.go
@@ -1843,7 +1843,6 @@ func (v Value) assignTo(context string, dst *abi.Type, target unsafe.Pointer) Va
 			// Avoid the panic by returning a nil dst (e.g., Reader) explicitly.
 			return Value{dst, nil, flag(Interface)}
 		}
-		/* TODO(xsw):
 		x := valueInterface(v, false)
 		if target == nil {
 			target = unsafe_New(dst)
@@ -1854,13 +1853,10 @@ func (v Value) assignTo(context string, dst *abi.Type, target unsafe.Pointer) Va
 			ifaceE2I(dst, x, target)
 		}
 		return Value{dst, target, flagIndir | flag(Interface)}
-		*/
 	}
 
 	// Failed.
-	// TODO(xsw):
-	// panic(context + ": value of type " + stringFor(v.typ()) + " is not assignable to type " + stringFor(dst))
-	panic("todo: reflect.Value.assignTo")
+	panic(context + ": value of type " + stringFor(v.typ()) + " is not assignable to type " + stringFor(dst))
 }
 
 // memmove copies size bytes to dst from src. No write barriers are used.
@@ -2219,23 +2215,21 @@ func (v Value) call(op string, in []Value) (out []Value) {
 			panic("reflect: " + op + " using zero Value argument")
 		}
 	}
-	// TODO AssignableTo
-	// for i := 0; i < n; i++ {
-	// 	if xt, targ := in[i].Type(), ft.In(i); !xt.AssignableTo(toRType(targ)) {
-	// 		panic("reflect: " + op + " using " + xt.String() + " as type " + stringFor(targ))
-	// 	}
-	// }
+	for i := 0; i < n; i++ {
+		if xt, targ := in[i].Type(), ft.In[i]; !xt.AssignableTo(toRType(targ)) {
+			panic("reflect: " + op + " using " + xt.String() + " as type " + stringFor(targ))
+		}
+	}
 	if !isSlice && isVariadic {
 		// prepare slice for remaining values
 		m := len(in) - n
 		slice := MakeSlice(toRType(ft.In[n]), m, m)
-		//		elem := toRType(ft.In[n]).Elem() // FIXME cast to slice type and Elem()
+		elem := toRType(ft.In[n].Elem()) // FIXME cast to slice type and Elem()
 		for i := 0; i < m; i++ {
 			x := in[n+i]
-			// TODO AssignableTo
-			// if xt := x.Type(); !xt.AssignableTo(elem) {
-			// 	panic("reflect: cannot use " + xt.String() + " as type " + elem.String() + " in " + op)
-			// }
+			if xt := x.Type(); !xt.AssignableTo(elem) {
+				panic("reflect: cannot use " + xt.String() + " as type " + elem.String() + " in " + op)
+			}
 			slice.Index(i).Set(x)
 		}
 		origIn := in
@@ -2637,3 +2631,7 @@ func MakeSlice(typ Type, len, cap int) Value {
 	s := unsafeheaderSlice{Data: unsafe_NewArray(&(typ.Elem().(*rtype).t), cap), Len: len, Cap: cap}
 	return Value{&typ.(*rtype).t, unsafe.Pointer(&s), flagIndir | flag(Slice)}
 }
+
+func ifaceE2I(t *abi.Type, src any, dst unsafe.Pointer) {
+	panic("todo: reflect.ifaceE2I")
+}