31 files changed, 3393 insertions, 187 deletions

diff --git a/spec/outputs/5.1/loops.lua b/spec/outputs/5.1/loops.lua
index bc720f6..e4f2871 100644
--- a/spec/outputs/5.1/loops.lua
+++ b/spec/outputs/5.1/loops.lua
@@ -587,3 +587,31 @@ do
         end
         list = _accum_0
 end
+do
+        repeat
+                print(1)
+        until true
+        do
+                local _accum_0
+                repeat
+                        a = func()
+                        _accum_0 = a.x
+                        break
+                until a.v
+                x = _accum_0
+        end
+        local items
+        local _accum_0 = { }
+        local _len_0 = 1
+        repeat
+                local item = getItem()
+                if not item then
+                        break
+                end
+                if item.value > 0 then
+                        _accum_0[_len_0] = item
+                        _len_0 = _len_0 + 1
+                end
+        until false
+        items = _accum_0
+end
diff --git a/spec/outputs/5.1/try_catch.lua b/spec/outputs/5.1/try_catch.lua
index efd92c6..d2b58bc 100644
--- a/spec/outputs/5.1/try_catch.lua
+++ b/spec/outputs/5.1/try_catch.lua
@@ -22,6 +22,43 @@ end
 local _anon_func_7 = function(a, b, c, tb)
         return tb.f(a, b, c)
 end
+local _anon_func_8 = function(_arg_0, ...)
+        local ok = _arg_0
+        return ...
+end
+local _anon_func_10 = function(_arg_0, ...)
+        local _ok_0 = _arg_0
+        if _ok_0 then
+                return ...
+        end
+end
+local _anon_func_9 = function(func, pcall)
+        return _anon_func_10(pcall(func))
+end
+local _anon_func_12 = function(_arg_0, ...)
+        local _ok_0 = _arg_0
+        if _ok_0 then
+                return ...
+        end
+end
+local _anon_func_11 = function(func, pcall)
+        return _anon_func_12(pcall(func))
+end
+local _anon_func_14 = function(_arg_0, ...)
+        local _ok_0 = _arg_0
+        if _ok_0 then
+                return ...
+        end
+end
+local _anon_func_13 = function(func, print, xpcall)
+        return _anon_func_14(xpcall(function()
+                print(123)
+                return func()
+        end, function(e)
+                print(e)
+                return e
+        end))
+end
 local f
 f = function()
         xpcall(function()
@@ -104,10 +141,236 @@ f = function()
         do
                 x(function()
                         local tb, a, b, c
-                        f = function()
+                        local f1
+                        f1 = function()
                                 return pcall(_anon_func_7, a, b, c, tb)
                         end
                 end)
         end
+        do
+                local f1
+                f1 = function()
+                        do
+                                return _anon_func_8(pcall(function()
+                                        return func()
+                                end))
+                        end
+                end
+        end
+        do
+                local func
+                local a, b, c
+                local _ok_0, _ret_0, _ret_1, _ret_2 = pcall(func)
+                if _ok_0 then
+                        a, b, c = _ret_0, _ret_1, _ret_2
+                end
+        end
+        do
+                local a, b, c
+                local _ok_0, _ret_0, _ret_1, _ret_2 = pcall(function()
+                        return func()
+                end)
+                if _ok_0 then
+                        a, b, c = _ret_0, _ret_1, _ret_2
+                end
+        end
+        do
+                local a
+                local _exp_0 = (_anon_func_9(func, pcall))
+                if _exp_0 ~= nil then
+                        a = _exp_0
+                else
+                        a = "default"
+                end
+        end
+        do
+                f(_anon_func_11(func, pcall))
+        end
+        do
+                f(_anon_func_13(func, print, xpcall))
+        end
         return nil
 end
+local _anon_func_15 = function(a, b, c, tb)
+        return tb.f(a, b, c)
+end
+local _anon_func_16 = function(_arg_0, ...)
+        local ok = _arg_0
+        return ...
+end
+do
+        xpcall(function()
+                return func(1, 2, 3)
+        end, function(err)
+                return print(err)
+        end)
+        xpcall(function()
+                return func(1, 2, 3)
+        end, function(err)
+                return print(err)
+        end)
+        pcall(function()
+                print("trying")
+                return func(1, 2, 3)
+        end)
+        do
+                local success, result = xpcall(function()
+                        return func(1, 2, 3)
+                end, function(err)
+                        return print(err)
+                end)
+                success, result = pcall(function()
+                        return func(1, 2, 3)
+                end)
+        end
+        local tb = { }
+        pcall(function()
+                return tb.func
+        end)
+        pcall(function()
+                return tb.func()
+        end)
+        pcall(function()
+                return tb.func()
+        end)
+        pcall(function()
+                return (tb.func())
+        end)
+        pcall(function()
+                return (tb:func(1, 2, 3))
+        end)
+        pcall(function()
+                return tb.func(1)
+        end)
+        pcall(function()
+                return tb.func(1)
+        end)
+        if (xpcall(function()
+                return func(1)
+        end, function(err)
+                return print(err)
+        end)) then
+                print("OK")
+        end
+        if xpcall(function()
+                return (func(1))
+        end, function(err)
+                return print(err)
+        end) then
+                print("OK")
+        end
+        do
+                do
+                        local success, result = pcall(function()
+                                return func("abc", 123)
+                        end)
+                        if success then
+                                print(result)
+                        end
+                end
+                local success, result = xpcall(function()
+                        return func("abc", 123)
+                end, function(err)
+                        return print(err)
+                end)
+                success, result = xpcall(function()
+                        return func("abc", 123)
+                end, function(err)
+                        return print(err)
+                end)
+                if success then
+                        print(result)
+                end
+        end
+        do
+                pcall(function()
+                        return func(1, 2, 3)
+                end)
+                pcall(function()
+                        return func(1, 2, 3)
+                end)
+        end
+        do
+                x(function()
+                        local tb, a, b, c
+                        local f1
+                        f1 = function()
+                                return pcall(_anon_func_15, a, b, c, tb)
+                        end
+                end)
+        end
+        do
+                local f1
+                f1 = function()
+                        do
+                                return _anon_func_16(pcall(function()
+                                        return func()
+                                end))
+                        end
+                end
+        end
+        do
+                local func
+                local a, b, c
+                local _ok_0, _ret_0, _ret_1, _ret_2 = pcall(func)
+                if _ok_0 then
+                        a, b, c = _ret_0, _ret_1, _ret_2
+                end
+        end
+        do
+                local a, b, c
+                local _ok_0, _ret_0, _ret_1, _ret_2 = pcall(function()
+                        return func()
+                end)
+                if _ok_0 then
+                        a, b, c = _ret_0, _ret_1, _ret_2
+                end
+        end
+        do
+                local a
+                local _exp_0 = ((function()
+                        return (function(_arg_0, ...)
+                                local _ok_0 = _arg_0
+                                if _ok_0 then
+                                        return ...
+                                end
+                        end)(pcall(function()
+                                return func()
+                        end))
+                end)())
+                if _exp_0 ~= nil then
+                        a = _exp_0
+                else
+                        a = "default"
+                end
+        end
+        do
+                f((function()
+                        return (function(_arg_0, ...)
+                                local _ok_0 = _arg_0
+                                if _ok_0 then
+                                        return ...
+                                end
+                        end)(pcall(function()
+                                return func()
+                        end))
+                end)())
+        end
+        do
+                f((function()
+                        return (function(_arg_0, ...)
+                                local _ok_0 = _arg_0
+                                if _ok_0 then
+                                        return ...
+                                end
+                        end)(xpcall(function()
+                                print(123)
+                                return func()
+                        end, function(e)
+                                print(e)
+                                return e
+                        end))
+                end)())
+        end
+end
+return nil
diff --git a/spec/outputs/assign.lua b/spec/outputs/assign.lua
index 162c5a8..89c5f8a 100644
--- a/spec/outputs/assign.lua
+++ b/spec/outputs/assign.lua
@@ -43,10 +43,8 @@ do
         end
 end
 local _anon_func_0 = function(print)
-        do
-                print(123)
-                return { }
-        end
+        print(123)
+        return { }
 end
 return _(function()
         setmetatable(a, _anon_func_0(print))
diff --git a/spec/outputs/codes_from_doc.lua b/spec/outputs/codes_from_doc.lua
index 3ee20bb..de5abdd 100644
--- a/spec/outputs/codes_from_doc.lua
+++ b/spec/outputs/codes_from_doc.lua
@@ -73,8 +73,8 @@ local apple = setmetatable({
 if (getmetatable(apple) ~= nil) then
         p(apple.size, apple.color, getmetatable(apple).__index)
 end
-local _ud83c_udf1b = "月之脚本"
-_module_0["🌛"] = _ud83c_udf1b
+local _u1f31b = "月之脚本"
+_module_0["🌛"] = _u1f31b
 return _module_0
 local area = 6.2831853071796 * 5
 print('hello world')
@@ -109,6 +109,12 @@ end
 print("yuescript")
 print(3)
 print("Valid enum type:", "Static")
+do
+        print(123, "hello")
+end
+do
+        print(123, "hello")
+end
 if tb ~= nil then
         tb:func()
 end
@@ -141,6 +147,21 @@ print((function()
 end)())
 local tab = { }
 tab[#tab + 1] = "Value"
+local tbA = {
+        1,
+        2,
+        3
+}
+local tbB = {
+        4,
+        5,
+        6
+}
+local _len_0 = #tbA + 1
+for _index_0 = 1, #tbB do
+        local _elm_0 = tbB[_index_0]
+        tbA[_len_0], _len_0 = _elm_0, _len_0 + 1
+end
 local parts = {
         "shoulders",
         "knees"
@@ -209,6 +230,18 @@ for _key_0, _value_0 in pairs(b) do
         end
 end
 merge = _tab_0
+local last
+do
+        local _item_0 = data.items
+        last = _item_0[#_item_0]
+end
+local second_last
+do
+        local _item_0 = data.items
+        second_last = _item_0[#_item_0 - 1]
+end
+local _obj_0 = data.items
+_obj_0[#_obj_0] = 1
 local mt = { }
 local add
 add = function(self, right)
@@ -339,6 +372,14 @@ func({
         2,
         3
 })
+local f
+f = function()
+        return {
+                1,
+                2,
+                3
+        }
+end
 local tb = {
         name = "abc",
         values = {
@@ -579,6 +620,59 @@ end
 local two, four
 local _obj_0 = items
 two, four = _obj_0[2], _obj_0[4]
+local orders = {
+        "first",
+        "second",
+        "third",
+        "fourth",
+        "last"
+}
+local first, bulk, last = orders[1], (function()
+        local _accum_0 = { }
+        local _len_0 = 1
+        local _max_0 = #orders + -2 + 1
+        for _index_0 = 2, _max_0 do
+                local _item_0 = orders[_index_0]
+                _accum_0[_len_0] = _item_0
+                _len_0 = _len_0 + 1
+        end
+        return _accum_0
+end)(), orders[#orders]
+print(first)
+print(bulk)
+print(last)
+local first, rest
+do
+        local _obj_0 = orders
+        first, rest = _obj_0[1], (function()
+                local _accum_0 = { }
+                local _len_0 = 1
+                local _max_0 = #_obj_0
+                for _index_0 = 2, _max_0 do
+                        local _item_0 = _obj_0[_index_0]
+                        _accum_0[_len_0] = _item_0
+                        _len_0 = _len_0 + 1
+                end
+                return _accum_0
+        end)()
+end
+local start, last
+do
+        local _obj_0 = orders
+        start, last = (function()
+                local _accum_0 = { }
+                local _len_0 = 1
+                local _max_0 = #_obj_0 + -2 + 1
+                for _index_0 = 1, _max_0 do
+                        local _item_0 = _obj_0[_index_0]
+                        _accum_0[_len_0] = _item_0
+                        _len_0 = _len_0 + 1
+                end
+                return _accum_0
+        end)(), _obj_0[#_obj_0]
+end
+local _obj_0 = orders
+first, last = _obj_0[1], _obj_0[#_obj_0]
 local tuples = {
         {
                 "hello",
@@ -643,6 +737,36 @@ end
         local first = select(1, ...)
         return print(ok, count, first)
 end)(fn(true))
+local f
+f = function(...)
+        local t = {
+                n = select("#", ...),
+                ...
+        }
+        print("argument count:", t.n)
+        print("table length:", #t)
+        for i = 1, t.n do
+                print(t[i])
+        end
+end
+f(1, 2, 3)
+f("a", "b", "c", "d")
+f()
+local process
+process = function(...)
+        local args = {
+                n = select("#", ...),
+                ...
+        }
+        local sum = 0
+        for i = 1, args.n do
+                if args[i] ~= nil and type(args[i]) == "number" then
+                        sum = sum + args[i]
+                end
+        end
+        return sum
+end
+process(1, nil, 3, nil, 5)
 Rx.Observable.fromRange(1, 8):filter(function(x)
         return x % 2 == 0
 end):concat(Rx.Observable.of('who do we appreciate')):map(function(value)
@@ -680,6 +804,56 @@ end)
 if success then
         print(result)
 end
+local a, b, c
+do
+        local _ok_0, _ret_0, _ret_1, _ret_2 = pcall(function()
+                return func()
+        end)
+        if _ok_0 then
+                a, b, c = _ret_0, _ret_1, _ret_2
+        end
+end
+do
+        local _exp_0 = ((function()
+                return (function(_arg_0, ...)
+                        local _ok_0 = _arg_0
+                        if _ok_0 then
+                                return ...
+                        end
+                end)(pcall(function()
+                        return func()
+                end))
+        end)())
+        if _exp_0 ~= nil then
+                a = _exp_0
+        else
+                a = "default"
+        end
+end
+f((function()
+        return (function(_arg_0, ...)
+                local _ok_0 = _arg_0
+                if _ok_0 then
+                        return ...
+                end
+        end)(pcall(function()
+                return func()
+        end))
+end)())
+f((function()
+        return (function(_arg_0, ...)
+                local _ok_0 = _arg_0
+                if _ok_0 then
+                        return ...
+                end
+        end)(xpcall(function()
+                print(123)
+                return func()
+        end, function(e)
+                print(e)
+                return e
+        end))
+end)())
 local a <const> = 123
 local _ <close> = setmetatable({ }, {
         __close = function()
@@ -695,6 +869,13 @@ print("I am " .. tostring(math.random() * 100) .. "% sure.")
 local integer = 1000000
 local hex = 0xEFBBBF
 local binary = 19
+local str = "key: value\nlist:\n  - item1\n  - " .. tostring(expr)
+local fn
+fn = function()
+        local str = "foo:\n  bar: baz"
+        return str
+end
+local str = "path: \"C:\\Program Files\\App\"\nnote: 'He said: \"" .. tostring(Hello) .. "!\"'"
 local my_function
 my_function = function() end
 my_function()
@@ -789,6 +970,36 @@ if func(1, 2, 3, "hello", "world") then
         print("hello")
         print("I am inside if")
 end
+local f1
+f1 = function(_arg_0)
+        local a, b, c
+        a, b, c = _arg_0.a, _arg_0.b, _arg_0.c
+        return print(a, b, c)
+end
+f1({
+        a = 1,
+        b = "2",
+        c = { }
+})
+local f2
+f2 = function(_arg_0, c)
+        local a1, b
+        a1, b = _arg_0.a, _arg_0.b
+        if a1 == nil then
+                a1 = 123
+        end
+        if b == nil then
+                b = 'abc'
+        end
+        if c == nil then
+                c = { }
+        end
+        return print(a1, b, c)
+end
+local arg1 = {
+        a = 0
+}
+f2(arg1, arg2)
 f(function()
         return print("hello")
 end)
@@ -914,6 +1125,28 @@ for _index_0 = 1, #_list_0 do
         _len_0 = _len_0 + 1
 end
 doubled = _accum_0
+local data = {
+        a = {
+                1,
+                2,
+                3
+        },
+        b = {
+                4,
+                5,
+                6
+        }
+}
+local flat
+local _accum_0 = { }
+for k, v in pairs(data) do
+        local _len_0 = #_accum_0 + 1
+        for _index_0 = 1, #v do
+                local _elm_0 = v[_index_0]
+                _accum_0[_len_0], _len_0 = _elm_0, _len_0 + 1
+        end
+end
+flat = _accum_0
 local x_coords = {
         4,
         5,
@@ -1004,8 +1237,18 @@ local slice
 local _accum_0 = { }
 local _len_0 = 1
 local _list_0 = items
-local _max_0 = 5
-for _index_0 = 1, _max_0 < 0 and #_list_0 + _max_0 or _max_0 do
+for _index_0 = 1, 5 do
+        local item = _list_0[_index_0]
+        _accum_0[_len_0] = item
+        _len_0 = _len_0 + 1
+end
+slice = _accum_0
+local slice
+local _accum_0 = { }
+local _len_0 = 1
+local _list_0 = items
+local _max_0 = #_list_0
+for _index_0 = 2, _max_0 do
         local item = _list_0[_index_0]
         _accum_0[_len_0] = item
         _len_0 = _len_0 + 1
@@ -1015,7 +1258,8 @@ local slice
 local _accum_0 = { }
 local _len_0 = 1
 local _list_0 = items
-for _index_0 = 2, #_list_0 do
+local _max_0 = #_list_0
+for _index_0 = 1, _max_0, 2 do
         local item = _list_0[_index_0]
         _accum_0[_len_0] = item
         _len_0 = _len_0 + 1
@@ -1025,12 +1269,35 @@ local slice
 local _accum_0 = { }
 local _len_0 = 1
 local _list_0 = items
-for _index_0 = 1, #_list_0, 2 do
+local _min_0 = #_list_0 + -4 + 1
+local _max_0 = #_list_0 + -1 + 1
+for _index_0 = _min_0, _max_0 do
         local item = _list_0[_index_0]
         _accum_0[_len_0] = item
         _len_0 = _len_0 + 1
 end
 slice = _accum_0
+local reverse_slice
+local _accum_0 = { }
+local _len_0 = 1
+local _list_0 = items
+local _min_0 = #_list_0 + -1 + 1
+for _index_0 = _min_0, 1, -1 do
+        local item = _list_0[_index_0]
+        _accum_0[_len_0] = item
+        _len_0 = _len_0 + 1
+end
+reverse_slice = _accum_0
+local sub_list
+local _accum_0 = { }
+local _len_0 = 1
+local _list_0 = items
+for _index_0 = 2, 4 do
+        local _item_0 = _list_0[_index_0]
+        _accum_0[_len_0] = _item_0
+        _len_0 = _len_0 + 1
+end
+sub_list = _accum_0
 for i = 10, 20 do
         print(i)
 end
@@ -1041,8 +1308,7 @@ for key, value in pairs(object) do
         print(key, value)
 end
 local _list_0 = items
-local _max_0 = 4
-for _index_0 = 2, _max_0 < 0 and #_list_0 + _max_0 or _max_0 do
+for _index_0 = 2, 4 do
         local item = _list_0[_index_0]
         print(item)
 end
@@ -1226,7 +1492,7 @@ if "Robert" == name then
 elseif "Dan" == name or "Daniel" == name then
         print("Your name, it's Dan")
 else
-        print("I don't know about your name")
+        print("I don't know about you with name " .. tostring(name))
 end
 local b = 1
 local next_number
@@ -1483,6 +1749,35 @@ if _tab_0 then
                 print("matched", fourth)
         end
 end
+local segments = {
+        "admin",
+        "users",
+        "logs",
+        "view"
+}
+local _type_0 = type(segments)
+local _tab_0 = "table" == _type_0 or "userdata" == _type_0
+if _tab_0 then
+        local groups
+        do
+                local _accum_0 = { }
+                local _len_0 = 1
+                local _max_0 = #segments + -3 + 1
+                for _index_0 = 1, _max_0 do
+                        local _item_0 = segments[_index_0]
+                        _accum_0[_len_0] = _item_0
+                        _len_0 = _len_0 + 1
+                end
+                groups = _accum_0
+        end
+        local resource = segments[#segments - 1]
+        local action = segments[#segments]
+        if resource ~= nil and action ~= nil then
+                print("Group:", groups)
+                print("Resource:", resource)
+                print("Action:", action)
+        end
+end
 local Inventory
 local _class_0
 local _base_0 = {
@@ -2139,6 +2434,10 @@ do
         _with_1["key-name"] = value
 end
 _with_0[#_with_0 + 1] = "abc"
+local _with_0 = obj
+if _with_0 ~= nil then
+        print(obj.name)
+end
 do
         local var = "hello"
         print(var)
@@ -2282,8 +2581,8 @@ local apple = setmetatable({
 if (getmetatable(apple) ~= nil) then
         p(apple.size, apple.color, getmetatable(apple).__index)
 end
-local _ud83c_udf1b = "月之脚本"
-_module_0["🌛"] = _ud83c_udf1b
+local _u1f31b = "月之脚本"
+_module_0["🌛"] = _u1f31b
 return _module_0
 local area = 6.2831853071796 * 5
 print('hello world')
@@ -2318,6 +2617,12 @@ end
 print("yuescript")
 print(3)
 print("Valid enum type:", "Static")
+do
+        print(123, "hello")
+end
+do
+        print(123, "hello")
+end
 if tb ~= nil then
         tb:func()
 end
@@ -2350,6 +2655,21 @@ print((function()
 end)())
 local tab = { }
 tab[#tab + 1] = "Value"
+local tbA = {
+        1,
+        2,
+        3
+}
+local tbB = {
+        4,
+        5,
+        6
+}
+local _len_0 = #tbA + 1
+for _index_0 = 1, #tbB do
+        local _elm_0 = tbB[_index_0]
+        tbA[_len_0], _len_0 = _elm_0, _len_0 + 1
+end
 local parts = {
         "shoulders",
         "knees"
@@ -2418,6 +2738,18 @@ for _key_0, _value_0 in pairs(b) do
         end
 end
 merge = _tab_0
+local last
+do
+        local _item_0 = data.items
+        last = _item_0[#_item_0]
+end
+local second_last
+do
+        local _item_0 = data.items
+        second_last = _item_0[#_item_0 - 1]
+end
+local _obj_0 = data.items
+_obj_0[#_obj_0] = 1
 local mt = { }
 local add
 add = function(self, right)
@@ -2548,6 +2880,14 @@ func({
         2,
         3
 })
+local f
+f = function()
+        return {
+                1,
+                2,
+                3
+        }
+end
 local tb = {
         name = "abc",
         values = {
@@ -2788,6 +3128,59 @@ end
 local two, four
 local _obj_0 = items
 two, four = _obj_0[2], _obj_0[4]
+local orders = {
+        "first",
+        "second",
+        "third",
+        "fourth",
+        "last"
+}
+local first, bulk, last = orders[1], (function()
+        local _accum_0 = { }
+        local _len_0 = 1
+        local _max_0 = #orders + -2 + 1
+        for _index_0 = 2, _max_0 do
+                local _item_0 = orders[_index_0]
+                _accum_0[_len_0] = _item_0
+                _len_0 = _len_0 + 1
+        end
+        return _accum_0
+end)(), orders[#orders]
+print(first)
+print(bulk)
+print(last)
+local first, rest
+do
+        local _obj_0 = orders
+        first, rest = _obj_0[1], (function()
+                local _accum_0 = { }
+                local _len_0 = 1
+                local _max_0 = #_obj_0
+                for _index_0 = 2, _max_0 do
+                        local _item_0 = _obj_0[_index_0]
+                        _accum_0[_len_0] = _item_0
+                        _len_0 = _len_0 + 1
+                end
+                return _accum_0
+        end)()
+end
+local start, last
+do
+        local _obj_0 = orders
+        start, last = (function()
+                local _accum_0 = { }
+                local _len_0 = 1
+                local _max_0 = #_obj_0 + -2 + 1
+                for _index_0 = 1, _max_0 do
+                        local _item_0 = _obj_0[_index_0]
+                        _accum_0[_len_0] = _item_0
+                        _len_0 = _len_0 + 1
+                end
+                return _accum_0
+        end)(), _obj_0[#_obj_0]
+end
+local _obj_0 = orders
+first, last = _obj_0[1], _obj_0[#_obj_0]
 local tuples = {
         {
                 "hello",
@@ -2852,6 +3245,36 @@ end
         local first = select(1, ...)
         return print(ok, count, first)
 end)(fn(true))
+local f
+f = function(...)
+        local t = {
+                n = select("#", ...),
+                ...
+        }
+        print("argument count:", t.n)
+        print("table length:", #t)
+        for i = 1, t.n do
+                print(t[i])
+        end
+end
+f(1, 2, 3)
+f("a", "b", "c", "d")
+f()
+local process
+process = function(...)
+        local args = {
+                n = select("#", ...),
+                ...
+        }
+        local sum = 0
+        for i = 1, args.n do
+                if args[i] ~= nil and type(args[i]) == "number" then
+                        sum = sum + args[i]
+                end
+        end
+        return sum
+end
+process(1, nil, 3, nil, 5)
 Rx.Observable.fromRange(1, 8):filter(function(x)
         return x % 2 == 0
 end):concat(Rx.Observable.of('who do we appreciate')):map(function(value)
@@ -2889,6 +3312,56 @@ end)
 if success then
         print(result)
 end
+local a, b, c
+do
+        local _ok_0, _ret_0, _ret_1, _ret_2 = pcall(function()
+                return func()
+        end)
+        if _ok_0 then
+                a, b, c = _ret_0, _ret_1, _ret_2
+        end
+end
+do
+        local _exp_0 = ((function()
+                return (function(_arg_0, ...)
+                        local _ok_0 = _arg_0
+                        if _ok_0 then
+                                return ...
+                        end
+                end)(pcall(function()
+                        return func()
+                end))
+        end)())
+        if _exp_0 ~= nil then
+                a = _exp_0
+        else
+                a = "default"
+        end
+end
+f((function()
+        return (function(_arg_0, ...)
+                local _ok_0 = _arg_0
+                if _ok_0 then
+                        return ...
+                end
+        end)(pcall(function()
+                return func()
+        end))
+end)())
+f((function()
+        return (function(_arg_0, ...)
+                local _ok_0 = _arg_0
+                if _ok_0 then
+                        return ...
+                end
+        end)(xpcall(function()
+                print(123)
+                return func()
+        end, function(e)
+                print(e)
+                return e
+        end))
+end)())
 local a <const> = 123
 local _ <close> = setmetatable({ }, {
         __close = function()
@@ -2903,6 +3376,14 @@ local some_string = "Here is a string\n  that has a line break in it."
 print("I am " .. tostring(math.random() * 100) .. "% sure.")
 local integer = 1000000
 local hex = 0xEFBBBF
+local binary = 19
+local str = "key: value\nlist:\n  - item1\n  - " .. tostring(expr)
+local fn
+fn = function()
+        local str = "foo:\n  bar: baz"
+        return str
+end
+local str = "path: \"C:\\Program Files\\App\"\nnote: 'He said: \"" .. tostring(Hello) .. "!\"'"
 local my_function
 my_function = function() end
 my_function()
@@ -2997,6 +3478,66 @@ if func(1, 2, 3, "hello", "world") then
         print("hello")
         print("I am inside if")
 end
+local f1
+f1 = function(_arg_0)
+        local a, b, c
+        a, b, c = _arg_0.a, _arg_0.b, _arg_0.c
+        return print(a, b, c)
+end
+f1({
+        a = 1,
+        b = "2",
+        c = { }
+})
+local f2
+f2 = function(_arg_0, c)
+        local a1, b
+        a1, b = _arg_0.a, _arg_0.b
+        if a1 == nil then
+                a1 = 123
+        end
+        if b == nil then
+                b = 'abc'
+        end
+        if c == nil then
+                c = { }
+        end
+end
+print(a1, b, c)
+local arg1 = {
+        a = 0
+}
+f2(arg1, arg2)
+local findFirstEven
+findFirstEven = function(list)
+        for _index_0 = 1, #list do
+                local item = list[_index_0]
+                if type(item) == "table" then
+                        for _index_1 = 1, #item do
+                                local sub = item[_index_1]
+                                if sub % 2 == 0 then
+                                        return sub
+                                end
+                        end
+                end
+        end
+        return nil
+end
+local findFirstEven
+findFirstEven = function(list)
+        for _index_0 = 1, #list do
+                local item = list[_index_0]
+                if type(item) == "table" then
+                        for _index_1 = 1, #item do
+                                local sub = item[_index_1]
+                                if sub % 2 == 0 then
+                                        return sub
+                                end
+                        end
+                end
+        end
+        return nil
+end
 f(function()
         return print("hello")
 end)
@@ -3122,6 +3663,28 @@ for _index_0 = 1, #_list_0 do
         _len_0 = _len_0 + 1
 end
 doubled = _accum_0
+local data = {
+        a = {
+                1,
+                2,
+                3
+        },
+        b = {
+                4,
+                5,
+                6
+        }
+}
+local flat
+local _accum_0 = { }
+for k, v in pairs(data) do
+        local _len_0 = #_accum_0 + 1
+        for _index_0 = 1, #v do
+                local _elm_0 = v[_index_0]
+                _accum_0[_len_0], _len_0 = _elm_0, _len_0 + 1
+        end
+end
+flat = _accum_0
 local x_coords = {
         4,
         5,
@@ -3212,8 +3775,7 @@ local slice
 local _accum_0 = { }
 local _len_0 = 1
 local _list_0 = items
-local _max_0 = 5
-for _index_0 = 1, _max_0 < 0 and #_list_0 + _max_0 or _max_0 do
+for _index_0 = 1, 5 do
         local item = _list_0[_index_0]
         _accum_0[_len_0] = item
         _len_0 = _len_0 + 1
@@ -3223,7 +3785,8 @@ local slice
 local _accum_0 = { }
 local _len_0 = 1
 local _list_0 = items
-for _index_0 = 2, #_list_0 do
+local _max_0 = #_list_0
+for _index_0 = 2, _max_0 do
         local item = _list_0[_index_0]
         _accum_0[_len_0] = item
         _len_0 = _len_0 + 1
@@ -3233,12 +3796,46 @@ local slice
 local _accum_0 = { }
 local _len_0 = 1
 local _list_0 = items
-for _index_0 = 1, #_list_0, 2 do
+local _max_0 = #_list_0
+for _index_0 = 1, _max_0, 2 do
         local item = _list_0[_index_0]
         _accum_0[_len_0] = item
         _len_0 = _len_0 + 1
 end
 slice = _accum_0
+local slice
+local _accum_0 = { }
+local _len_0 = 1
+local _list_0 = items
+local _min_0 = #_list_0 + -4 + 1
+local _max_0 = #_list_0 + -1 + 1
+for _index_0 = _min_0, _max_0 do
+        local item = _list_0[_index_0]
+        _accum_0[_len_0] = item
+        _len_0 = _len_0 + 1
+end
+slice = _accum_0
+local reverse_slice
+local _accum_0 = { }
+local _len_0 = 1
+local _list_0 = items
+local _min_0 = #_list_0 + -1 + 1
+for _index_0 = _min_0, 1, -1 do
+        local item = _list_0[_index_0]
+        _accum_0[_len_0] = item
+        _len_0 = _len_0 + 1
+end
+reverse_slice = _accum_0
+local sub_list
+local _accum_0 = { }
+local _len_0 = 1
+local _list_0 = items
+for _index_0 = 2, 4 do
+        local _item_0 = _list_0[_index_0]
+        _accum_0[_len_0] = _item_0
+        _len_0 = _len_0 + 1
+end
+sub_list = _accum_0
 for i = 10, 20 do
         print(i)
 end
@@ -3249,8 +3846,7 @@ for key, value in pairs(object) do
         print(key, value)
 end
 local _list_0 = items
-local _max_0 = 4
-for _index_0 = 2, _max_0 < 0 and #_list_0 + _max_0 or _max_0 do
+for _index_0 = 2, 4 do
         local item = _list_0[_index_0]
         print(item)
 end
@@ -3434,7 +4030,7 @@ if "Robert" == name then
 elseif "Dan" == name or "Daniel" == name then
         print("Your name, it's Dan")
 else
-        print("I don't know about your name")
+        print("I don't know about you with name " .. tostring(name))
 end
 local b = 1
 local next_number
@@ -3691,6 +4287,35 @@ if _tab_0 then
                 print("matched", fourth)
         end
 end
+local segments = {
+        "admin",
+        "users",
+        "logs",
+        "view"
+}
+local _type_0 = type(segments)
+local _tab_0 = "table" == _type_0 or "userdata" == _type_0
+if _tab_0 then
+        local groups
+        do
+                local _accum_0 = { }
+                local _len_0 = 1
+                local _max_0 = #segments + -3 + 1
+                for _index_0 = 1, _max_0 do
+                        local _item_0 = segments[_index_0]
+                        _accum_0[_len_0] = _item_0
+                        _len_0 = _len_0 + 1
+                end
+                groups = _accum_0
+        end
+        local resource = segments[#segments - 1]
+        local action = segments[#segments]
+        if resource ~= nil and action ~= nil then
+                print("Group:", groups)
+                print("Resource:", resource)
+                print("Action:", action)
+        end
+end
 local Inventory
 local _class_0
 local _base_0 = {
@@ -4347,6 +4972,10 @@ do
         _with_1["key-name"] = value
 end
 _with_0[#_with_0 + 1] = "abc"
+local _with_0 = obj
+if _with_0 ~= nil then
+        print(obj.name)
+end
 do
         local var = "hello"
         print(var)
diff --git a/spec/outputs/codes_from_doc_zh.lua b/spec/outputs/codes_from_doc_zh.lua
index 52204b7..6a6c38c 100644
--- a/spec/outputs/codes_from_doc_zh.lua
+++ b/spec/outputs/codes_from_doc_zh.lua
@@ -73,8 +73,8 @@ local apple = setmetatable({
 if (getmetatable(apple) ~= nil) then
         p(apple.size, apple.color, getmetatable(apple).__index)
 end
-local _ud83c_udf1b = "月之脚本"
-_module_0["🌛"] = _ud83c_udf1b
+local _u1f31b = "月之脚本"
+_module_0["🌛"] = _u1f31b
 return _module_0
 local area = 6.2831853071796 * 5
 print('你好 世界')
@@ -109,6 +109,12 @@ end
 print("yuescript")
 print(3)
 print("有效的枚举类型:", "Static")
+do
+        print(123, "hello")
+end
+do
+        print(123, "hello")
+end
 if tb ~= nil then
         tb:func()
 end
@@ -141,6 +147,21 @@ print((function()
 end)())
 local tab = { }
 tab[#tab + 1] = "Value"
+local tbA = {
+        1,
+        2,
+        3
+}
+local tbB = {
+        4,
+        5,
+        6
+}
+local _len_0 = #tbA + 1
+for _index_0 = 1, #tbB do
+        local _elm_0 = tbB[_index_0]
+        tbA[_len_0], _len_0 = _elm_0, _len_0 + 1
+end
 local parts = {
         "shoulders",
         "knees"
@@ -209,6 +230,18 @@ for _key_0, _value_0 in pairs(b) do
         end
 end
 merge = _tab_0
+local last
+do
+        local _item_0 = data.items
+        last = _item_0[#_item_0]
+end
+local second_last
+do
+        local _item_0 = data.items
+        second_last = _item_0[#_item_0 - 1]
+end
+local _obj_0 = data.items
+_obj_0[#_obj_0] = 1
 local mt = { }
 local add
 add = function(self, right)
@@ -339,6 +372,14 @@ func({
         2,
         3
 })
+local f
+f = function()
+        return {
+                1,
+                2,
+                3
+        }
+end
 local tb = {
         name = "abc",
         values = {
@@ -579,6 +620,59 @@ end
 local two, four
 local _obj_0 = items
 two, four = _obj_0[2], _obj_0[4]
+local orders = {
+        "first",
+        "second",
+        "third",
+        "fourth",
+        "last"
+}
+local first, bulk, last = orders[1], (function()
+        local _accum_0 = { }
+        local _len_0 = 1
+        local _max_0 = #orders + -2 + 1
+        for _index_0 = 2, _max_0 do
+                local _item_0 = orders[_index_0]
+                _accum_0[_len_0] = _item_0
+                _len_0 = _len_0 + 1
+        end
+        return _accum_0
+end)(), orders[#orders]
+print(first)
+print(bulk)
+print(last)
+local first, rest
+do
+        local _obj_0 = orders
+        first, rest = _obj_0[1], (function()
+                local _accum_0 = { }
+                local _len_0 = 1
+                local _max_0 = #_obj_0
+                for _index_0 = 2, _max_0 do
+                        local _item_0 = _obj_0[_index_0]
+                        _accum_0[_len_0] = _item_0
+                        _len_0 = _len_0 + 1
+                end
+                return _accum_0
+        end)()
+end
+local start, last
+do
+        local _obj_0 = orders
+        start, last = (function()
+                local _accum_0 = { }
+                local _len_0 = 1
+                local _max_0 = #_obj_0 + -2 + 1
+                for _index_0 = 1, _max_0 do
+                        local _item_0 = _obj_0[_index_0]
+                        _accum_0[_len_0] = _item_0
+                        _len_0 = _len_0 + 1
+                end
+                return _accum_0
+        end)(), _obj_0[#_obj_0]
+end
+local _obj_0 = orders
+first, last = _obj_0[1], _obj_0[#_obj_0]
 local tuples = {
         {
                 "hello",
@@ -643,6 +737,36 @@ end
         local first = select(1, ...)
         return print(ok, count, first)
 end)(fn(true))
+local f
+f = function(...)
+        local t = {
+                n = select("#", ...),
+                ...
+        }
+        print("参数个数:", t.n)
+        print("表长度:", #t)
+        for i = 1, t.n do
+                print(t[i])
+        end
+end
+f(1, 2, 3)
+f("a", "b", "c", "d")
+f()
+local process
+process = function(...)
+        local args = {
+                n = select("#", ...),
+                ...
+        }
+        local sum = 0
+        for i = 1, args.n do
+                if args[i] ~= nil and type(args[i]) == "number" then
+                        sum = sum + args[i]
+                end
+        end
+        return sum
+end
+process(1, nil, 3, nil, 5)
 Rx.Observable.fromRange(1, 8):filter(function(x)
         return x % 2 == 0
 end):concat(Rx.Observable.of('who do we appreciate')):map(function(value)
@@ -680,6 +804,56 @@ end)
 if success then
         print(result)
 end
+local a, b, c
+do
+        local _ok_0, _ret_0, _ret_1, _ret_2 = pcall(function()
+                return func()
+        end)
+        if _ok_0 then
+                a, b, c = _ret_0, _ret_1, _ret_2
+        end
+end
+do
+        local _exp_0 = ((function()
+                return (function(_arg_0, ...)
+                        local _ok_0 = _arg_0
+                        if _ok_0 then
+                                return ...
+                        end
+                end)(pcall(function()
+                        return func()
+                end))
+        end)())
+        if _exp_0 ~= nil then
+                a = _exp_0
+        else
+                a = "default"
+        end
+end
+f((function()
+        return (function(_arg_0, ...)
+                local _ok_0 = _arg_0
+                if _ok_0 then
+                        return ...
+                end
+        end)(pcall(function()
+                return func()
+        end))
+end)())
+f((function()
+        return (function(_arg_0, ...)
+                local _ok_0 = _arg_0
+                if _ok_0 then
+                        return ...
+                end
+        end)(xpcall(function()
+                print(123)
+                return func()
+        end, function(e)
+                print(e)
+                return e
+        end))
+end)())
 local a <const> = 123
 local _ <close> = setmetatable({ }, {
         __close = function()
@@ -695,6 +869,13 @@ print("我有" .. tostring(math.random() * 100) .. "%的把握。")
 local integer = 1000000
 local hex = 0xEFBBBF
 local binary = 19
+local str = "key: value\nlist:\n  - item1\n  - " .. tostring(expr)
+local fn
+fn = function()
+        local str = "foo:\n  bar: baz"
+        return str
+end
+local str = "path: \"C:\\Program Files\\App\"\nnote: 'He said: \"" .. tostring(Hello) .. "!\"'"
 local my_function
 my_function = function() end
 my_function()
@@ -783,6 +964,36 @@ if func(1, 2, 3, "你好", "世界") then
         print("hello")
         print("我在if内部")
 end
+local f1
+f1 = function(_arg_0)
+        local a, b, c
+        a, b, c = _arg_0.a, _arg_0.b, _arg_0.c
+        return print(a, b, c)
+end
+f1({
+        a = 1,
+        b = "2",
+        c = { }
+})
+local f2
+f2 = function(_arg_0, c)
+        local a1, b
+        a1, b = _arg_0.a, _arg_0.b
+        if a1 == nil then
+                a1 = 123
+        end
+        if b == nil then
+                b = 'abc'
+        end
+        if c == nil then
+                c = { }
+        end
+        return print(a1, b, c)
+end
+local arg1 = {
+        a = 0
+}
+f2(arg1, arg2)
 f(function()
         return print("hello")
 end)
@@ -908,6 +1119,28 @@ for _index_0 = 1, #_list_0 do
         _len_0 = _len_0 + 1
 end
 doubled = _accum_0
+local data = {
+        a = {
+                1,
+                2,
+                3
+        },
+        b = {
+                4,
+                5,
+                6
+        }
+}
+local flat
+local _accum_0 = { }
+for k, v in pairs(data) do
+        local _len_0 = #_accum_0 + 1
+        for _index_0 = 1, #v do
+                local _elm_0 = v[_index_0]
+                _accum_0[_len_0], _len_0 = _elm_0, _len_0 + 1
+        end
+end
+flat = _accum_0
 local x_coords = {
         4,
         5,
@@ -998,8 +1231,18 @@ local slice
 local _accum_0 = { }
 local _len_0 = 1
 local _list_0 = items
-local _max_0 = 5
-for _index_0 = 1, _max_0 < 0 and #_list_0 + _max_0 or _max_0 do
+for _index_0 = 1, 5 do
+        local item = _list_0[_index_0]
+        _accum_0[_len_0] = item
+        _len_0 = _len_0 + 1
+end
+slice = _accum_0
+local slice
+local _accum_0 = { }
+local _len_0 = 1
+local _list_0 = items
+local _max_0 = #_list_0
+for _index_0 = 2, _max_0 do
         local item = _list_0[_index_0]
         _accum_0[_len_0] = item
         _len_0 = _len_0 + 1
@@ -1009,7 +1252,8 @@ local slice
 local _accum_0 = { }
 local _len_0 = 1
 local _list_0 = items
-for _index_0 = 2, #_list_0 do
+local _max_0 = #_list_0
+for _index_0 = 1, _max_0, 2 do
         local item = _list_0[_index_0]
         _accum_0[_len_0] = item
         _len_0 = _len_0 + 1
@@ -1019,12 +1263,35 @@ local slice
 local _accum_0 = { }
 local _len_0 = 1
 local _list_0 = items
-for _index_0 = 1, #_list_0, 2 do
+local _min_0 = #_list_0 + -4 + 1
+local _max_0 = #_list_0 + -1 + 1
+for _index_0 = _min_0, _max_0 do
         local item = _list_0[_index_0]
         _accum_0[_len_0] = item
         _len_0 = _len_0 + 1
 end
 slice = _accum_0
+local reverse_slice
+local _accum_0 = { }
+local _len_0 = 1
+local _list_0 = items
+local _min_0 = #_list_0 + -1 + 1
+for _index_0 = _min_0, 1, -1 do
+        local item = _list_0[_index_0]
+        _accum_0[_len_0] = item
+        _len_0 = _len_0 + 1
+end
+reverse_slice = _accum_0
+local sub_list
+local _accum_0 = { }
+local _len_0 = 1
+local _list_0 = items
+for _index_0 = 2, 4 do
+        local _item_0 = _list_0[_index_0]
+        _accum_0[_len_0] = _item_0
+        _len_0 = _len_0 + 1
+end
+sub_list = _accum_0
 for i = 10, 20 do
         print(i)
 end
@@ -1035,8 +1302,7 @@ for key, value in pairs(object) do
         print(key, value)
 end
 local _list_0 = items
-local _max_0 = 4
-for _index_0 = 2, _max_0 < 0 and #_list_0 + _max_0 or _max_0 do
+for _index_0 = 2, 4 do
         local item = _list_0[_index_0]
         print(item)
 end
@@ -1220,7 +1486,7 @@ if "Robert" == name then
 elseif "Dan" == name or "Daniel" == name then
         print("你的名字是Dan")
 else
-        print("我不知道你的名字")
+        print("我不认识你，你的名字是" .. tostring(name))
 end
 local b = 1
 local next_number
@@ -1477,6 +1743,35 @@ if _tab_0 then
                 print("匹配成功", fourth)
         end
 end
+local segments = {
+        "admin",
+        "users",
+        "logs",
+        "view"
+}
+local _type_0 = type(segments)
+local _tab_0 = "table" == _type_0 or "userdata" == _type_0
+if _tab_0 then
+        local groups
+        do
+                local _accum_0 = { }
+                local _len_0 = 1
+                local _max_0 = #segments + -3 + 1
+                for _index_0 = 1, _max_0 do
+                        local _item_0 = segments[_index_0]
+                        _accum_0[_len_0] = _item_0
+                        _len_0 = _len_0 + 1
+                end
+                groups = _accum_0
+        end
+        local resource = segments[#segments - 1]
+        local action = segments[#segments]
+        if resource ~= nil and action ~= nil then
+                print("Group:", groups)
+                print("Resource:", resource)
+                print("Action:", action)
+        end
+end
 local Inventory
 local _class_0
 local _base_0 = {
@@ -2133,6 +2428,10 @@ do
         _with_1["key-name"] = value
 end
 _with_0[#_with_0 + 1] = "abc"
+local _with_0 = obj
+if _with_0 ~= nil then
+        print(obj.name)
+end
 do
         local var = "hello"
         print(var)
@@ -2276,8 +2575,8 @@ local apple = setmetatable({
 if (getmetatable(apple) ~= nil) then
         p(apple.size, apple.color, getmetatable(apple).__index)
 end
-local _ud83c_udf1b = "月之脚本"
-_module_0["🌛"] = _ud83c_udf1b
+local _u1f31b = "月之脚本"
+_module_0["🌛"] = _u1f31b
 return _module_0
 local area = 6.2831853071796 * 5
 print('你好 世界')
@@ -2312,6 +2611,12 @@ end
 print("yuescript")
 print(3)
 print("有效的枚举类型:", "Static")
+do
+        print(123, "hello")
+end
+do
+        print(123, "hello")
+end
 if tb ~= nil then
         tb:func()
 end
@@ -2344,6 +2649,21 @@ print((function()
 end)())
 local tab = { }
 tab[#tab + 1] = "Value"
+local tbA = {
+        1,
+        2,
+        3
+}
+local tbB = {
+        4,
+        5,
+        6
+}
+local _len_0 = #tbA + 1
+for _index_0 = 1, #tbB do
+        local _elm_0 = tbB[_index_0]
+        tbA[_len_0], _len_0 = _elm_0, _len_0 + 1
+end
 local parts = {
         "shoulders",
         "knees"
@@ -2412,6 +2732,18 @@ for _key_0, _value_0 in pairs(b) do
         end
 end
 merge = _tab_0
+local last
+do
+        local _item_0 = data.items
+        last = _item_0[#_item_0]
+end
+local second_last
+do
+        local _item_0 = data.items
+        second_last = _item_0[#_item_0 - 1]
+end
+local _obj_0 = data.items
+_obj_0[#_obj_0] = 1
 local mt = { }
 local add
 add = function(self, right)
@@ -2542,6 +2874,14 @@ func({
         2,
         3
 })
+local f
+f = function()
+        return {
+                1,
+                2,
+                3
+        }
+end
 local tb = {
         name = "abc",
         values = {
@@ -2782,6 +3122,59 @@ end
 local two, four
 local _obj_0 = items
 two, four = _obj_0[2], _obj_0[4]
+local orders = {
+        "first",
+        "second",
+        "third",
+        "fourth",
+        "last"
+}
+local first, bulk, last = orders[1], (function()
+        local _accum_0 = { }
+        local _len_0 = 1
+        local _max_0 = #orders + -2 + 1
+        for _index_0 = 2, _max_0 do
+                local _item_0 = orders[_index_0]
+                _accum_0[_len_0] = _item_0
+                _len_0 = _len_0 + 1
+        end
+        return _accum_0
+end)(), orders[#orders]
+print(first)
+print(bulk)
+print(last)
+local first, rest
+do
+        local _obj_0 = orders
+        first, rest = _obj_0[1], (function()
+                local _accum_0 = { }
+                local _len_0 = 1
+                local _max_0 = #_obj_0
+                for _index_0 = 2, _max_0 do
+                        local _item_0 = _obj_0[_index_0]
+                        _accum_0[_len_0] = _item_0
+                        _len_0 = _len_0 + 1
+                end
+                return _accum_0
+        end)()
+end
+local start, last
+do
+        local _obj_0 = orders
+        start, last = (function()
+                local _accum_0 = { }
+                local _len_0 = 1
+                local _max_0 = #_obj_0 + -2 + 1
+                for _index_0 = 1, _max_0 do
+                        local _item_0 = _obj_0[_index_0]
+                        _accum_0[_len_0] = _item_0
+                        _len_0 = _len_0 + 1
+                end
+                return _accum_0
+        end)(), _obj_0[#_obj_0]
+end
+local _obj_0 = orders
+first, last = _obj_0[1], _obj_0[#_obj_0]
 local tuples = {
         {
                 "hello",
@@ -2846,6 +3239,36 @@ end
         local first = select(1, ...)
         return print(ok, count, first)
 end)(fn(true))
+local f
+f = function(...)
+        local t = {
+                n = select("#", ...),
+                ...
+        }
+        print("参数个数:", t.n)
+        print("表长度:", #t)
+        for i = 1, t.n do
+                print(t[i])
+        end
+end
+f(1, 2, 3)
+f("a", "b", "c", "d")
+f()
+local process
+process = function(...)
+        local args = {
+                n = select("#", ...),
+                ...
+        }
+        local sum = 0
+        for i = 1, args.n do
+                if args[i] ~= nil and type(args[i]) == "number" then
+                        sum = sum + args[i]
+                end
+        end
+        return sum
+end
+process(1, nil, 3, nil, 5)
 Rx.Observable.fromRange(1, 8):filter(function(x)
         return x % 2 == 0
 end):concat(Rx.Observable.of('who do we appreciate')):map(function(value)
@@ -2883,6 +3306,56 @@ end)
 if success then
         print(result)
 end
+local a, b, c
+do
+        local _ok_0, _ret_0, _ret_1, _ret_2 = pcall(function()
+                return func()
+        end)
+        if _ok_0 then
+                a, b, c = _ret_0, _ret_1, _ret_2
+        end
+end
+do
+        local _exp_0 = ((function()
+                return (function(_arg_0, ...)
+                        local _ok_0 = _arg_0
+                        if _ok_0 then
+                                return ...
+                        end
+                end)(pcall(function()
+                        return func()
+                end))
+        end)())
+        if _exp_0 ~= nil then
+                a = _exp_0
+        else
+                a = "default"
+        end
+end
+f((function()
+        return (function(_arg_0, ...)
+                local _ok_0 = _arg_0
+                if _ok_0 then
+                        return ...
+                end
+        end)(pcall(function()
+                return func()
+        end))
+end)())
+f((function()
+        return (function(_arg_0, ...)
+                local _ok_0 = _arg_0
+                if _ok_0 then
+                        return ...
+                end
+        end)(xpcall(function()
+                print(123)
+                return func()
+        end, function(e)
+                print(e)
+                return e
+        end))
+end)())
 local a <const> = 123
 local _ <close> = setmetatable({ }, {
         __close = function()
@@ -2897,6 +3370,14 @@ local some_string = "这是一个字符串\n  并包括一个换行。"
 print("我有" .. tostring(math.random() * 100) .. "%的把握。")
 local integer = 1000000
 local hex = 0xEFBBBF
+local binary = 19
+local str = "key: value\nlist:\n  - item1\n  - " .. tostring(expr)
+local fn
+fn = function()
+        local str = "foo:\n  bar: baz"
+        return str
+end
+local str = "path: \"C:\\Program Files\\App\"\nnote: 'He said: \"" .. tostring(Hello) .. "!\"'"
 local my_function
 my_function = function() end
 my_function()
@@ -2985,6 +3466,66 @@ if func(1, 2, 3, "你好", "世界") then
         print("你好")
         print("我在if内部")
 end
+local f1
+f1 = function(_arg_0)
+        local a, b, c
+        a, b, c = _arg_0.a, _arg_0.b, _arg_0.c
+        return print(a, b, c)
+end
+f1({
+        a = 1,
+        b = "2",
+        c = { }
+})
+local f2
+f2 = function(_arg_0, c)
+        local a1, b
+        a1, b = _arg_0.a, _arg_0.b
+        if a1 == nil then
+                a1 = 123
+        end
+        if b == nil then
+                b = 'abc'
+        end
+        if c == nil then
+                c = { }
+        end
+        return print(a1, b, c)
+end
+local arg1 = {
+        a = 0
+}
+f2(arg1, arg2)
+local findFirstEven
+findFirstEven = function(list)
+        for _index_0 = 1, #list do
+                local item = list[_index_0]
+                if type(item) == "table" then
+                        for _index_1 = 1, #item do
+                                local sub = item[_index_1]
+                                if sub % 2 == 0 then
+                                        return sub
+                                end
+                        end
+                end
+        end
+        return nil
+end
+local findFirstEven
+findFirstEven = function(list)
+        for _index_0 = 1, #list do
+                local item = list[_index_0]
+                if type(item) == "table" then
+                        for _index_1 = 1, #item do
+                                local sub = item[_index_1]
+                                if sub % 2 == 0 then
+                                        return sub
+                                end
+                        end
+                end
+        end
+        return nil
+end
 f(function()
         return print("hello")
 end)
@@ -3110,6 +3651,28 @@ for _index_0 = 1, #_list_0 do
         _len_0 = _len_0 + 1
 end
 doubled = _accum_0
+local data = {
+        a = {
+                1,
+                2,
+                3
+        },
+        b = {
+                4,
+                5,
+                6
+        }
+}
+local flat
+local _accum_0 = { }
+for k, v in pairs(data) do
+        local _len_0 = #_accum_0 + 1
+        for _index_0 = 1, #v do
+                local _elm_0 = v[_index_0]
+                _accum_0[_len_0], _len_0 = _elm_0, _len_0 + 1
+        end
+end
+flat = _accum_0
 local x_coords = {
         4,
         5,
@@ -3200,8 +3763,7 @@ local slice
 local _accum_0 = { }
 local _len_0 = 1
 local _list_0 = items
-local _max_0 = 5
-for _index_0 = 1, _max_0 < 0 and #_list_0 + _max_0 or _max_0 do
+for _index_0 = 1, 5 do
         local item = _list_0[_index_0]
         _accum_0[_len_0] = item
         _len_0 = _len_0 + 1
@@ -3211,7 +3773,8 @@ local slice
 local _accum_0 = { }
 local _len_0 = 1
 local _list_0 = items
-for _index_0 = 2, #_list_0 do
+local _max_0 = #_list_0
+for _index_0 = 2, _max_0 do
         local item = _list_0[_index_0]
         _accum_0[_len_0] = item
         _len_0 = _len_0 + 1
@@ -3221,12 +3784,46 @@ local slice
 local _accum_0 = { }
 local _len_0 = 1
 local _list_0 = items
-for _index_0 = 1, #_list_0, 2 do
+local _max_0 = #_list_0
+for _index_0 = 1, _max_0, 2 do
         local item = _list_0[_index_0]
         _accum_0[_len_0] = item
         _len_0 = _len_0 + 1
 end
 slice = _accum_0
+local slice
+local _accum_0 = { }
+local _len_0 = 1
+local _list_0 = items
+local _min_0 = #_list_0 + -4 + 1
+local _max_0 = #_list_0 + -1 + 1
+for _index_0 = _min_0, _max_0 do
+        local item = _list_0[_index_0]
+        _accum_0[_len_0] = item
+        _len_0 = _len_0 + 1
+end
+slice = _accum_0
+local reverse_slice
+local _accum_0 = { }
+local _len_0 = 1
+local _list_0 = items
+local _min_0 = #_list_0 + -1 + 1
+for _index_0 = _min_0, 1, -1 do
+        local item = _list_0[_index_0]
+        _accum_0[_len_0] = item
+        _len_0 = _len_0 + 1
+end
+reverse_slice = _accum_0
+local sub_list
+local _accum_0 = { }
+local _len_0 = 1
+local _list_0 = items
+for _index_0 = 2, 4 do
+        local _item_0 = _list_0[_index_0]
+        _accum_0[_len_0] = _item_0
+        _len_0 = _len_0 + 1
+end
+sub_list = _accum_0
 for i = 10, 20 do
         print(i)
 end
@@ -3237,8 +3834,7 @@ for key, value in pairs(object) do
         print(key, value)
 end
 local _list_0 = items
-local _max_0 = 4
-for _index_0 = 2, _max_0 < 0 and #_list_0 + _max_0 or _max_0 do
+for _index_0 = 2, 4 do
         local item = _list_0[_index_0]
         print(item)
 end
@@ -3422,7 +4018,7 @@ if "Robert" == name then
 elseif "Dan" == name or "Daniel" == name then
         print("你的名字是Dan")
 else
-        print("我不知道你的名字")
+        print("我不认识你，你的名字是" .. tostring(name))
 end
 local b = 1
 local next_number
@@ -3679,6 +4275,35 @@ if _tab_0 then
                 print("匹配成功", fourth)
         end
 end
+local segments = {
+        "admin",
+        "users",
+        "logs",
+        "view"
+}
+local _type_0 = type(segments)
+local _tab_0 = "table" == _type_0 or "userdata" == _type_0
+if _tab_0 then
+        local groups
+        do
+                local _accum_0 = { }
+                local _len_0 = 1
+                local _max_0 = #segments + -3 + 1
+                for _index_0 = 1, _max_0 do
+                        local _item_0 = segments[_index_0]
+                        _accum_0[_len_0] = _item_0
+                        _len_0 = _len_0 + 1
+                end
+                groups = _accum_0
+        end
+        local resource = segments[#segments - 1]
+        local action = segments[#segments]
+        if resource ~= nil and action ~= nil then
+                print("Group:", groups)
+                print("Resource:", resource)
+                print("Action:", action)
+        end
+end
 local Inventory
 local _class_0
 local _base_0 = {
@@ -4335,6 +4960,10 @@ do
         _with_1["key-name"] = value
 end
 _with_0[#_with_0 + 1] = "abc"
+local _with_0 = obj
+if _with_0 ~= nil then
+        print(obj.name)
+end
 do
         local var = "hello"
         print(var)
diff --git a/spec/outputs/comprehension.lua b/spec/outputs/comprehension.lua
index 9a7c478..663bd44 100644
--- a/spec/outputs/comprehension.lua
+++ b/spec/outputs/comprehension.lua
@@ -243,8 +243,11 @@ end
 do
         local _accum_0 = { }
         local _len_0 = 1
+        local _min_0 = 1 + 2
         local _max_0 = 3 + 4
-        for _index_0 = 1 + 2, _max_0 < 0 and #items + _max_0 or _max_0 do
+        _min_0 = _min_0 < 0 and #items + _min_0 + 1 or _min_0
+        _max_0 = _max_0 < 0 and #items + _max_0 + 1 or _max_0
+        for _index_0 = _min_0, _max_0 do
                 local item = items[_index_0]
                 _accum_0[_len_0] = item
                 _len_0 = _len_0 + 1
@@ -254,8 +257,11 @@ end
 do
         local _accum_0 = { }
         local _len_0 = 1
+        local _min_0 = hello() * 4
         local _max_0 = 2 - thing[4]
-        for _index_0 = hello() * 4, _max_0 < 0 and #items + _max_0 or _max_0 do
+        _min_0 = _min_0 < 0 and #items + _min_0 + 1 or _min_0
+        _max_0 = _max_0 < 0 and #items + _max_0 + 1 or _max_0
+        for _index_0 = _min_0, _max_0 do
                 local item = items[_index_0]
                 _accum_0[_len_0] = item
                 _len_0 = _len_0 + 1
diff --git a/spec/outputs/destructure.lua b/spec/outputs/destructure.lua
index 44da58b..4e19aca 100644
--- a/spec/outputs/destructure.lua
+++ b/spec/outputs/destructure.lua
@@ -621,4 +621,114 @@ do
                 print(meta_field, abc, def)
         end
 end
+do
+        local clients = {
+                "VIP_Alice",
+                "User_Bob",
+                "User_Clara",
+                "VIP_Eva"
+        }
+        local vipStart, regulars, vipEnd = clients[1], (function()
+                local _accum_0 = { }
+                local _len_0 = 1
+                local _max_0 = #clients + -2 + 1
+                for _index_0 = 2, _max_0 do
+                        local _item_0 = clients[_index_0]
+                        _accum_0[_len_0] = _item_0
+                        _len_0 = _len_0 + 1
+                end
+                return _accum_0
+        end)(), clients[#clients]
+        print(vipStart)
+        print(regulars)
+        print(vipEnd)
+end
+do
+        local setupMeeting
+        setupMeeting = function(participants)
+                local chair, secretary = participants[1], participants[#participants]
+                return print(chair, secretary)
+        end
+        setupMeeting({
+                "Alice",
+                "Bob",
+                "Charlie",
+                "David"
+        })
+end
+do
+        local getTransactions
+        getTransactions = function()
+                return {
+                        {
+                                id = "T1",
+                                amount = 100
+                        },
+                        {
+                                id = "T2",
+                                amount = 200
+                        },
+                        {
+                                id = "T3",
+                                amount = 300
+                        }
+                }
+        end
+        local id, amount
+        do
+                local _item_0 = getTransactions()
+                local _obj_0 = _item_0[#_item_0]
+                id, amount = _obj_0.id, _obj_0.amount
+        end
+        assert(id == "T3")
+        assert(amount == 300)
+end
+do
+        local middle
+        local _accum_0 = { }
+        local _len_0 = 1
+        local _list_0 = tb
+        local _max_0 = #_list_0 + -2 + 1
+        for _index_0 = 2, _max_0 do
+                local _item_0 = _list_0[_index_0]
+                _accum_0[_len_0] = _item_0
+                _len_0 = _len_0 + 1
+        end
+        middle = _accum_0
+end
+do
+        local a, abc, b, def, sub, d, e
+        local _obj_0 = tb
+        a, abc, b, def, sub, d, e = _obj_0[1], _obj_0.abc, _obj_0[2], _obj_0.def, (function()
+                local _accum_0 = { }
+                local _len_0 = 1
+                local _max_0 = #_obj_0 + -3 + 1
+                for _index_0 = 3, _max_0 do
+                        local _item_0 = _obj_0[_index_0]
+                        _accum_0[_len_0] = _item_0
+                        _len_0 = _len_0 + 1
+                end
+                return _accum_0
+        end)(), _obj_0[#_obj_0 - 1], _obj_0[#_obj_0]
+end
+do
+        local _list_0 = items
+        for _index_0 = 1, #_list_0 do
+                local _des_0 = _list_0[_index_0]
+                local a, b = _des_0.a, _des_0.b
+                print(a, b)
+        end
+        local _list_1 = items
+        for _index_0 = 1, #_list_1 do
+                local _des_0 = _list_1[_index_0]
+                local a, b = _des_0.a, _des_0.b
+                print(a, b)
+        end
+        for _des_0 in pairs(data) do
+                local body = _des_0.body
+                if body then
+                        print(body)
+                end
+        end
+end
 return nil
diff --git a/spec/outputs/funcs.lua b/spec/outputs/funcs.lua
index c1735c4..db7ed67 100644
--- a/spec/outputs/funcs.lua
+++ b/spec/outputs/funcs.lua
@@ -283,4 +283,157 @@ do
         end
         print(func())
 end
+local _anon_func_0 = function(_arg_0)
+        local _accum_0 = { }
+        local _len_0 = 1
+        local _max_0 = #_arg_0
+        for _index_0 = 1, _max_0 do
+                local _item_0 = _arg_0[_index_0]
+                _accum_0[_len_0] = _item_0
+                _len_0 = _len_0 + 1
+        end
+        return _accum_0
+end
+do
+        local f
+        f = function(_arg_0)
+                local a, b, c
+                a, b, c = _arg_0.a, _arg_0.b, _arg_0.c
+                return print(a, b, c)
+        end
+        f = function(_arg_0)
+                local a, b, c
+                a, b, c = _arg_0.a, _arg_0.b, _arg_0.c
+                return print(a, b, c)
+        end
+        local g
+        g = function(x, _arg_0)
+                local y
+                y = _arg_0.y
+                return print(x, y)
+        end
+        local i
+        i = function(_arg_0)
+                local ax, by
+                ax, by = _arg_0.a, _arg_0.b
+                if ax == nil then
+                        ax = 0
+                end
+                if by == nil then
+                        by = 0
+                end
+                return print(ax, by)
+        end
+        j = function(name, _arg_0)
+                local uid, role
+                uid, role = _arg_0.id, _arg_0.role
+                if uid == nil then
+                        uid = "n/a"
+                end
+                if role == nil then
+                        role = "guest"
+                end
+                return print(name, uid, role)
+        end
+        local m
+        m = function(_arg_0)
+                local name, age, ver
+                name, age, ver = _arg_0.user.name, _arg_0.user.age, _arg_0.meta.ver
+                if ver == nil then
+                        ver = 1
+                end
+                return print(name, age, ver)
+        end
+        local m1
+        m1 = function(_arg_0)
+                local name, age, meta
+                name, age, meta = _arg_0.user.name, _arg_0.user.age, _arg_0.meta
+                if meta == nil then
+                        meta = { }
+                end
+                return print(name, age, meta and meta.ver or "nil")
+        end
+        local new
+        new = function(self, _arg_0)
+                local name, age
+                name, age = _arg_0.name, _arg_0.age
+                if name == nil then
+                        name = "anon"
+                end
+                if age == nil then
+                        age = 0
+                end
+                self.name = name
+                self.age = age
+        end
+        local set
+        set = function(self, _arg_0)
+                local name, age
+                name, age = _arg_0.name, _arg_0.age
+                if name == nil then
+                        name = self.name
+                end
+                if age == nil then
+                        age = self.age
+                end
+                self.name = name
+                self.age = age
+        end
+        local logKV
+        logKV = function(_arg_0, ...)
+                local k, v
+                k, v = _arg_0.k, _arg_0.v
+                print("kv:", k, v)
+                return print("rest count:", select("#", ...))
+        end
+        do
+                local foo
+                foo = function(_arg_0)
+                        local a, b
+                        a, b = _arg_0.a, _arg_0.b
+                        if b == nil then
+                                b = 0
+                        end
+                        return print(a, b)
+                end
+        end
+        local t1
+        t1 = function(_arg_0, x)
+                local a
+                a = _arg_0.a
+                return print(a, x)
+        end
+        local t2
+        t2 = function(_arg_0)
+                local a
+                a = _arg_0.a
+                return print(a)
+        end
+        local w
+        w = function(id, _arg_0, _arg_1)
+                local x, y
+                x, y = _arg_0.x, _arg_0.y
+                if x == nil then
+                        x = 0
+                end
+                if y == nil then
+                        y = 0
+                end
+                local flag
+                flag = _arg_1.flag
+                return print(id, x, y, flag)
+        end
+        local g1
+        g1 = function(_arg_0)
+                local a, ax
+                a, ax = _arg_0.a, _arg_0.a
+                return print(a, ax)
+        end
+        local g4
+        g4 = function(_arg_0)
+                local a, b, rest
+                a, b, rest = _arg_0.a, _arg_0.b, _anon_func_0(_arg_0)
+                return print(a, b)
+        end
+end
 return nil
diff --git a/spec/outputs/import.lua b/spec/outputs/import.lua
index 83c99e2..7aa130f 100644
--- a/spec/outputs/import.lua
+++ b/spec/outputs/import.lua
@@ -166,3 +166,13 @@ do
         local _obj_1 = require("m")
         g, i = _obj_1[1], getmetatable(_obj_1[2]).__close
 end
+do
+        local require <const> = require
+        local stringlib <const> = string
+        local format <const> = string.format
+        local io_read <const> = io.read
+        local type
+        type = function() end
+        local tp <const> = _G.type
+        local yue <const> = _G["月"]
+end
diff --git a/spec/outputs/lists.lua b/spec/outputs/lists.lua
index 48ec9c8..75f04fa 100644
--- a/spec/outputs/lists.lua
+++ b/spec/outputs/lists.lua
@@ -230,31 +230,36 @@ x = {
         6,
         7
 }
-local _max_0 = -5
-for _index_0 = 2, _max_0 < 0 and #x + _max_0 or _max_0, 2 do
+local _max_0 = #x + -5 + 1
+for _index_0 = 2, _max_0, 2 do
         local y = x[_index_0]
         print(y)
 end
-local _max_1 = 3
-for _index_0 = 1, _max_1 < 0 and #x + _max_1 or _max_1 do
+for _index_0 = 1, 3 do
         local y = x[_index_0]
         print(y)
 end
-for _index_0 = 2, #x do
+local _max_1 = #x
+for _index_0 = 2, _max_1 do
         local y = x[_index_0]
         print(y)
 end
-for _index_0 = 1, #x, 2 do
+local _max_2 = #x
+for _index_0 = 1, _max_2, 2 do
         local y = x[_index_0]
         print(y)
 end
-for _index_0 = 2, #x, 2 do
+local _max_3 = #x
+for _index_0 = 2, _max_3, 2 do
         local y = x[_index_0]
         print(y)
 end
 local a, b, c = 1, 5, 2
-local _max_2 = b
-for _index_0 = a, _max_2 < 0 and #x + _max_2 or _max_2, c do
+local _min_0 = a
+local _max_4 = b
+_min_0 = _min_0 < 0 and #x + _min_0 + 1 or _min_0
+_max_4 = _max_4 < 0 and #x + _max_4 + 1 or _max_4
+for _index_0 = _min_0, _max_4, c do
         local y = x[_index_0]
         print(y)
 end
@@ -287,7 +292,10 @@ do
                 a
         })
         local _list_0 = f
-        for _index_0 = a, #_list_0 do
+        local _min_1 = a
+        local _max_5 = #_list_0
+        _min_1 = _min_1 < 0 and #_list_0 + _min_1 + 1 or _min_1
+        for _index_0 = _min_1, _max_5 do
                 local v = _list_0[_index_0]
                 print(v)
         end
@@ -327,4 +335,570 @@ do
                 job = "jobless"
         end
 end
+do
+        local transactions = {
+                "T001",
+                "T002",
+                "T003",
+                "T004",
+                "T005"
+        }
+        local middleTransactions
+        do
+                local _accum_0 = { }
+                local _len_0 = 1
+                local _max_5 = #transactions + -2 + 1
+                for _index_0 = 2, _max_5 do
+                        local _item_0 = transactions[_index_0]
+                        _accum_0[_len_0] = _item_0
+                        _len_0 = _len_0 + 1
+                end
+                middleTransactions = _accum_0
+        end
+        print(middleTransactions)
+end
+do
+        local logs = {
+                {
+                        start = 0,
+                        ["end"] = 100
+                },
+                {
+                        start = 100,
+                        ["end"] = 200
+                },
+                {
+                        start = 200,
+                        ["end"] = 123
+                }
+        }
+        print(logs[#logs]["end"])
+end
+do
+        local pendingOrders = {
+                "O001",
+                "O002",
+                "O003",
+                "O004"
+        }
+        print(pendingOrders[#pendingOrders - 1])
+end
+do
+        local getOrders
+        getOrders = function()
+                return {
+                        {
+                                id = "O1001",
+                                status = "pending"
+                        },
+                        {
+                                id = "O1002",
+                                status = "processing"
+                        },
+                        {
+                                id = "O1003",
+                                status = "done"
+                        }
+                }
+        end
+        local lastStatus
+        do
+                local _item_0 = getOrders()
+                lastStatus = _item_0[#_item_0].status
+        end
+        assert(lastStatus == "done")
+end
+do
+        local cloneList1
+        cloneList1 = function(list)
+                local _accum_0 = { }
+                local _len_0 = 1
+                local _max_5 = #list
+                for _index_0 = 1, _max_5 do
+                        local _item_0 = list[_index_0]
+                        _accum_0[_len_0] = _item_0
+                        _len_0 = _len_0 + 1
+                end
+                return _accum_0
+        end
+        local cloneList2
+        cloneList2 = function(list)
+                local _tab_0 = { }
+                local _idx_0 = #_tab_0 + 1
+                for _index_0 = 1, #list do
+                        local _value_0 = list[_index_0]
+                        _tab_0[_idx_0] = _value_0
+                        _idx_0 = _idx_0 + 1
+                end
+                return _tab_0
+        end
+        local cloneTable
+        cloneTable = function(tb)
+                local _tab_0 = { }
+                local _idx_0 = 1
+                for _key_0, _value_0 in pairs(tb) do
+                        if _idx_0 == _key_0 then
+                                _tab_0[#_tab_0 + 1] = _value_0
+                                _idx_0 = _idx_0 + 1
+                        else
+                                _tab_0[_key_0] = _value_0
+                        end
+                end
+                return _tab_0
+        end
+end
+do
+        print((function()
+                local _item_0 = globalTB
+                return _item_0[#_item_0]
+        end)(), (function()
+                local _item_0 = a.b.c
+                return _item_0[#_item_0 - 2]
+        end)(), (function()
+                if x ~= nil then
+                        local _obj_0 = x.y
+                        if _obj_0 ~= nil then
+                                local _obj_1 = _obj_0(x).z
+                                if _obj_1 ~= nil then
+                                        return _obj_1[#_obj_1 - 3]
+                                end
+                                return nil
+                        end
+                        return nil
+                end
+                return nil
+        end)())
+end
+local _anon_func_0 = function(globalTB)
+        local _call_0
+        do
+                local _item_0 = globalTB
+                _call_0 = _item_0[#_item_0]
+        end
+        return _call_0["end"](_call_0, 123)
+end
+local _anon_func_1 = function(a)
+        local _item_0
+        do
+                local _accum_0 = { }
+                local _len_0 = 1
+                local _list_0 = a.b.c
+                local _max_5 = #_list_0 + -5 + 1
+                for _index_0 = 5, _max_5 do
+                        local _item_1 = _list_0[_index_0]
+                        _accum_0[_len_0] = _item_1
+                        _len_0 = _len_0 + 1
+                end
+                _item_0 = _accum_0
+        end
+        return _item_0[#_item_0 - 2]
+end
+local _anon_func_2 = function(x)
+        if x ~= nil then
+                local _obj_0 = x.y
+                if _obj_0 ~= nil then
+                        local _obj_1 = _obj_0(x).z
+                        if _obj_1 ~= nil then
+                                local _obj_2 = _obj_1[#_obj_1 - 3]
+                                if _obj_2 ~= nil then
+                                        local _accum_0 = { }
+                                        local _len_0 = 1
+                                        local _max_5 = #_obj_2 + -3 + 1
+                                        for _index_0 = 1, _max_5 do
+                                                local _item_0 = _obj_2[_index_0]
+                                                _accum_0[_len_0] = _item_0
+                                                _len_0 = _len_0 + 1
+                                        end
+                                        return _accum_0
+                                end
+                                return nil
+                        end
+                        return nil
+                end
+                return nil
+        end
+        return nil
+end
+do
+        local f
+        f = function()
+                return print(_anon_func_0(globalTB), _anon_func_1(a), _anon_func_2(x))
+        end
+end
+do
+        local tb = {
+                1,
+                2,
+                3
+        }
+        tb[#tb] = 40
+        tb[#tb - 1] = 20
+end
+do
+        a = "x"
+        b = a
+        c = a
+        local lst = { }
+        lst[#lst] = a
+        lst[#lst - 1] = b
+end
+do
+        local y, z
+        x, y, z = 1, 2, 3
+        local arr = { }
+        local head
+        arr[#arr], head = x, y
+        arr[#arr] = z
+end
+do
+        local triple = {
+                "keep",
+                "skip",
+                "tail"
+        }
+        local head, tailv = triple[1], triple[3]
+        local buf = { }
+        buf[#buf] = head
+        buf[#buf] = tailv
+end
+do
+        local src = {
+                "a",
+                "",
+                "c",
+                nil,
+                "d"
+        }
+        local collected = { }
+        for _index_0 = 1, #src do
+                local item = src[_index_0]
+                if item and #item > 0 then
+                        collected[#collected] = item
+                end
+        end
+end
+do
+        local nums = {
+                1,
+                2,
+                3,
+                4,
+                5
+        }
+        local last_two
+        do
+                local _accum_0 = { }
+                local _len_0 = 1
+                for _index_0 = 1, #nums do
+                        local v = nums[_index_0]
+                        if v > 3 then
+                                _accum_0[_len_0] = v
+                                _len_0 = _len_0 + 1
+                        end
+                end
+                last_two = _accum_0
+        end
+        nums[#nums] = last_two[1]
+        nums[#nums] = last_two[2]
+end
+do
+        local store = { }
+        store[#store] = {
+                meta = {
+                        id = 1,
+                        ok = true
+                },
+                payload = {
+                        10,
+                        20
+                }
+        }
+        store[#store] = {
+                meta = {
+                        id = 1,
+                        ok = false
+                },
+                payload = {
+                        10,
+                        20,
+                        30
+                }
+        }
+end
+local _anon_func_3 = function(tb)
+        local _item_0 = tb.tmp
+        return _item_0[#_item_0]
+end
+do
+        local f
+        f = function()
+                local q = { }
+                do
+                        local _accum_0 = { }
+                        local _len_0 = 1
+                        for n = 1, 4 do
+                                _accum_0[_len_0] = n
+                                _len_0 = _len_0 + 1
+                        end
+                        tb.tmp = _accum_0
+                end
+                if #tb.tmp >= 3 then
+                        q[#q] = {
+                                head = tb.tmp[1],
+                                tail = _anon_func_3(tb)
+                        }
+                end
+        end
+end
+do
+        local make_pair
+        make_pair = function(a, b)
+                return {
+                        a,
+                        b
+                }
+        end
+        local pairs = { }
+        local p1 = make_pair(7, 8)
+        pairs[#pairs] = p1
+        local k, v = "key", 42
+        pairs[#pairs] = {
+                k = k,
+                v = v
+        }
+end
+do
+        local cfg = {
+                mode = "safe",
+                tags = { }
+        }
+        if cfg.mode == "safe" then
+                cfg.mode = "fast"
+                local _obj_0 = cfg.tags
+                _obj_0[#_obj_0] = "newbie"
+        end
+end
+do
+        local mat = {
+                {
+                        1,
+                        2
+                },
+                {
+                        3,
+                        4
+                },
+                {
+                        5,
+                        6
+                }
+        }
+        local last_row = mat[#mat]
+        local rows = { }
+        rows[#rows] = last_row[1]
+end
+do
+        local kv = { }
+        kv[#kv] = {
+                k = "a",
+                v = 1
+        }
+        kv[#kv] = {
+                k = "b",
+                v = 2
+        }
+        local pair_last = kv[#kv]
+        local dict = { }
+        dict[pair_last.k] = pair_last.v
+        dict[pair_last.k] = 3
+end
+do
+        local base
+        do
+                local _accum_0 = { }
+                local _len_0 = 1
+                for i = 1, 4 do
+                        _accum_0[_len_0] = i
+                        _len_0 = _len_0 + 1
+                end
+                base = _accum_0
+        end
+        local pack = { }
+        pack[#pack] = {
+                base[1],
+                base[#base]
+        }
+        pack[#pack] = {
+                first = base[1],
+                last = base[#base]
+        }
+end
+do
+        local opts = {
+                limit = 10
+        }
+        local limit, offset = opts.limit, opts.offset
+        if offset == nil then
+                offset = 0
+        end
+        local pages = { }
+        pages[#pages] = {
+                limit = limit,
+                offset = offset
+        }
+end
+do
+        local chain = {
+                a = {
+                        b = {
+                                c = 0
+                        }
+                },
+                list = {
+                        {
+                                x = 0
+                        },
+                        {
+                                x = 0
+                        }
+                }
+        }
+        chain.a.b.c = 1
+        chain.list[1].x = 10;
+        ((function()
+                local _item_0 = chain.list
+                return _item_0[#_item_0]
+        end)()).x = 20
+        local _obj_0 = chain.list
+        _obj_0[#_obj_0 - 1] = {
+                x = 30
+        }
+end
+do
+        local node = {
+                left = {
+                        v = 0
+                },
+                right = {
+                        v = 0
+                }
+        }
+        local bag = { }
+        local left, right = node.left, node.right
+        bag[#bag], left.v, right.v = "k", 1, 2
+end
+do
+        local a1, a2, a3 = 100, 200, 300
+        local mix = { }
+        local meta
+        mix[#mix], mix[#mix], meta = a1, a2, {
+                tag = "ok"
+        }
+end
+do
+        local cfg2 = {
+                limit = 5,
+                opts = {
+                        flag = false
+                }
+        }
+        local lim, opt2 = cfg2.limit, cfg2.opts
+        local bucket = {
+                xs = { }
+        }
+        local _obj_0 = bucket.xs
+        _obj_0[#_obj_0] = lim
+        bucket.flag = true
+        local _obj_1 = opt2.flags
+        _obj_1[#_obj_1 + 1] = 123
+end
+do
+        local ret2
+        ret2 = function()
+                return 7, 8
+        end
+        local box = { }
+        local x1
+        box[#box], x1 = ret2()
+end
+do
+        local q = {
+                1,
+                2
+        }
+        local lastq = q[#q]
+        q[#q - 1] = lastq * 10
+end
+do
+        local mat2 = [[9,8], [7,6]]
+        local t = {
+                hold = nil
+        }
+        t.hold = mat2[#mat2][1]
+end
+do
+        local f
+        f = function()
+                local _obj_0
+                do
+                        local _item_0 = globalTB
+                        _obj_0 = _item_0[#_item_0]
+                end
+                _obj_0[#_obj_0] = 1
+        end
+        local f1
+        f1 = function()
+                do
+                        local _item_0 = globalTB
+                        do
+                                local _item_1 = _item_0[#_item_0]
+                                return _item_1[#_item_1 - 1]
+                        end
+                end
+        end
+end
+do
+        do
+                local _obj_0 = tbA
+                local _len_0 = #_obj_0 + 1
+                local _list_0 = tbB
+                for _index_0 = 1, #_list_0 do
+                        local _elm_0 = _list_0[_index_0]
+                        _obj_0[_len_0], _len_0 = _elm_0, _len_0 + 1
+                end
+        end
+        a = 1
+        do
+                local _obj_0 = tb
+                local _len_0 = #_obj_0 + 1
+                for _index_0 = 1, #x do
+                        local _elm_0 = x[_index_0]
+                        _obj_0[_len_0], _len_0 = _elm_0, _len_0 + 1
+                end
+        end
+        b[#b + 1] = 3
+        c = 4
+        local data = {
+                a = {
+                        1,
+                        2,
+                        3
+                },
+                b = {
+                        4,
+                        5,
+                        6
+                }
+        }
+        local flat
+        local _accum_0 = { }
+        for k, v in pairs(data) do
+                local _len_0 = #_accum_0 + 1
+                for _index_0 = 1, #v do
+                        local _elm_0 = v[_index_0]
+                        _accum_0[_len_0], _len_0 = _elm_0, _len_0 + 1
+                end
+        end
+        flat = _accum_0
+end
 return nil
diff --git a/spec/outputs/loops.lua b/spec/outputs/loops.lua
index 9a47579..6ab4bbb 100644
--- a/spec/outputs/loops.lua
+++ b/spec/outputs/loops.lua
@@ -468,3 +468,31 @@ do
         end
         list = _accum_0
 end
+do
+        repeat
+                print(1)
+        until true
+        do
+                local _accum_0
+                repeat
+                        a = func()
+                        _accum_0 = a.x
+                        break
+                until a.v
+                x = _accum_0
+        end
+        local items
+        local _accum_0 = { }
+        local _len_0 = 1
+        repeat
+                local item = getItem()
+                if not item then
+                        break
+                end
+                if item.value > 0 then
+                        _accum_0[_len_0] = item
+                        _len_0 = _len_0 + 1
+                end
+        until false
+        items = _accum_0
+end
diff --git a/spec/outputs/macro.lua b/spec/outputs/macro.lua
index 9f5507c..89c6e63 100644
--- a/spec/outputs/macro.lua
+++ b/spec/outputs/macro.lua
@@ -26,6 +26,10 @@ print({
         123,
         'xyz'
 })
+print({
+        456,
+        'abc'
+})
 do
         assert(item == nil)
 end
@@ -213,6 +217,13 @@ function tb:func()
 end
 end
 print(x)
+local yue = require("yue")
+do
+local function f2(a)
+        return a + 1
+end
+x = x + f2(3)
+end
 local sel
 sel = function(a, b, c)
         if a then
@@ -317,7 +328,7 @@ print((setmetatable({
                 return 998
         end
 }))
-print("current line: " .. tostring(323))
+print("current line: " .. tostring(349))
 do
         do
 -- TODO
diff --git a/spec/outputs/props.lua b/spec/outputs/props.lua
new file mode 100644
index 0000000..2c282e0
--- /dev/null
+++ b/spec/outputs/props.lua
@@ -0,0 +1,240 @@
+local Props
+do
+        local _class_0
+        local assignReadOnly
+        local _base_0 = {
+                __index = function(self, name)
+                        local cls = getmetatable(self)
+                        do
+                                local item
+                                do
+                                        local _obj_0 = cls.__getter
+                                        if _obj_0 ~= nil then
+                                                item = _obj_0[name]
+                                        end
+                                end
+                                if item then
+                                        return item(self)
+                                else
+                                        item = rawget(cls, name)
+                                        if item then
+                                                return item
+                                        else
+                                                local c = cls
+                                                repeat
+                                                        c = getmetatable(c)
+                                                        if c then
+                                                                local _obj_0 = c.__getter
+                                                                if _obj_0 ~= nil then
+                                                                        item = _obj_0[name]
+                                                                end
+                                                                if item then
+                                                                        if cls.__getter == nil then
+                                                                                cls.__getter = { }
+                                                                        end
+                                                                        cls.__getter[name] = item
+                                                                        return item(self)
+                                                                else
+                                                                        item = rawget(c, name)
+                                                                        if item then
+                                                                                rawset(cls, name, item)
+                                                                                return item
+                                                                        end
+                                                                end
+                                                        else
+                                                                break
+                                                        end
+                                                until false
+                                        end
+                                end
+                        end
+                        return nil
+                end,
+                __newindex = function(self, name, value)
+                        local cls = getmetatable(self)
+                        local item
+                        local _obj_0 = cls.__setter
+                        if _obj_0 ~= nil then
+                                item = _obj_0[name]
+                        end
+                        if item then
+                                return item(self, value)
+                        else
+                                local c = cls
+                                repeat
+                                        c = getmetatable(c)
+                                        if c then
+                                                local _obj_1 = c.__setter
+                                                if _obj_1 ~= nil then
+                                                        item = _obj_1[name]
+                                                end
+                                                if item then
+                                                        if cls.__setter == nil then
+                                                                cls.__setter = { }
+                                                        end
+                                                        cls.__setter[name] = item
+                                                        item(self, value)
+                                                        return
+                                                end
+                                        else
+                                                break
+                                        end
+                                until false
+                                return rawset(self, name, value)
+                        end
+                end,
+                prop = function(self, name, props)
+                        local get, set = props.get, props.set
+                        if set == nil then
+                                set = assignReadOnly
+                        end
+                        do
+                                local getter = rawget(self.__base, "__getter")
+                                if getter then
+                                        getter[name] = get
+                                else
+                                        rawset(self.__base, "__getter", {
+                                                [name] = get
+                                        })
+                                end
+                        end
+                        local setter = rawget(self.__base, "__setter")
+                        if setter then
+                                setter[name] = set
+                        else
+                                return rawset(self.__base, "__setter", {
+                                        [name] = set
+                                })
+                        end
+                end
+        }
+        if _base_0.__index == nil then
+                _base_0.__index = _base_0
+        end
+        _class_0 = setmetatable({
+                __init = function() end,
+                __base = _base_0,
+                __name = "Props"
+        }, {
+                __index = _base_0,
+                __call = function(cls, ...)
+                        local _self_0 = setmetatable({ }, _base_0)
+                        cls.__init(_self_0, ...)
+                        return _self_0
+                end
+        })
+        _base_0.__class = _class_0
+        local self = _class_0;
+        assignReadOnly = function()
+                return error("assigning a readonly property")
+        end
+        Props = _class_0
+end
+local A
+do
+        local _class_0
+        local _parent_0 = Props
+        local _base_0 = { }
+        for _key_0, _val_0 in pairs(_parent_0.__base) do
+                if _base_0[_key_0] == nil and _key_0:match("^__") and not (_key_0 == "__index" and _val_0 == _parent_0.__base) then
+                        _base_0[_key_0] = _val_0
+                end
+        end
+        if _base_0.__index == nil then
+                _base_0.__index = _base_0
+        end
+        setmetatable(_base_0, _parent_0.__base)
+        _class_0 = setmetatable({
+                __init = function(self)
+                        self._x = 0
+                end,
+                __base = _base_0,
+                __name = "A",
+                __parent = _parent_0
+        }, {
+                __index = function(cls, name)
+                        local val = rawget(_base_0, name)
+                        if val == nil then
+                                local parent = rawget(cls, "__parent")
+                                if parent then
+                                        return parent[name]
+                                end
+                        else
+                                return val
+                        end
+                end,
+                __call = function(cls, ...)
+                        local _self_0 = setmetatable({ }, _base_0)
+                        cls.__init(_self_0, ...)
+                        return _self_0
+                end
+        })
+        _base_0.__class = _class_0
+        local self = _class_0;
+        self:prop('x', {
+                get = function(self)
+                        return self._x + 1000
+                end,
+                set = function(self, v)
+                        self._x = v
+                end
+        })
+        if _parent_0.__inherited then
+                _parent_0.__inherited(_parent_0, _class_0)
+        end
+        A = _class_0
+end
+local B
+do
+        local _class_0
+        local _parent_0 = A
+        local _base_0 = { }
+        for _key_0, _val_0 in pairs(_parent_0.__base) do
+                if _base_0[_key_0] == nil and _key_0:match("^__") and not (_key_0 == "__index" and _val_0 == _parent_0.__base) then
+                        _base_0[_key_0] = _val_0
+                end
+        end
+        if _base_0.__index == nil then
+                _base_0.__index = _base_0
+        end
+        setmetatable(_base_0, _parent_0.__base)
+        _class_0 = setmetatable({
+                __init = function(self, ...)
+                        return _class_0.__parent.__init(self, ...)
+                end,
+                __base = _base_0,
+                __name = "B",
+                __parent = _parent_0
+        }, {
+                __index = function(cls, name)
+                        local val = rawget(_base_0, name)
+                        if val == nil then
+                                local parent = rawget(cls, "__parent")
+                                if parent then
+                                        return parent[name]
+                                end
+                        else
+                                return val
+                        end
+                end,
+                __call = function(cls, ...)
+                        local _self_0 = setmetatable({ }, _base_0)
+                        cls.__init(_self_0, ...)
+                        return _self_0
+                end
+        })
+        _base_0.__class = _class_0
+        local self = _class_0;
+        self:prop('abc', {
+                get = function(self)
+                        return "hello"
+                end
+        })
+        if _parent_0.__inherited then
+                _parent_0.__inherited(_parent_0, _class_0)
+        end
+        B = _class_0
+end
+local b = B()
+b.x = 999
+return print(b.x, b.abc)
diff --git a/spec/outputs/string.lua b/spec/outputs/string.lua
index febea62..bdfd676 100644
--- a/spec/outputs/string.lua
+++ b/spec/outputs/string.lua
@@ -1,3 +1,4 @@
+local _module_0 = { }
 local hi = "hello"
 local hello = "what the heckyes"
 print(hi)
@@ -41,4 +42,42 @@ local _ = "hello";
 ("hello"):format().hello(1, 2, 3);
 ("hello"):format(1, 2, 3)
 something("hello"):world()
-return something(("hello"):world())
+something(("hello"):world())
+do
+        local str = "key: value"
+        str = "config:\n\tenabled: true\n\tlevel: 5"
+        str = "header: start\nfooter: end"
+        str = "name: " .. tostring(username)
+        str = "count: " .. tostring(total) .. " items"
+        str = "user: " .. tostring(name) .. "\nid: " .. tostring(id)
+        str = "path: \"C:\\\\Program Files\\\\App\"\ndesc: 'single \"quote\" test'"
+        str = "key: value   \nnext: 123   "
+        str = "list:\n\t- \"one\"\n\t- \"two\""
+        str = "-- comment\ncontent text\n-- comment"
+        str = tostring(1 + 2) .. '\n' .. tostring(2 + 3) .. '\n' .. tostring("a" .. "b")
+        local obj = {
+                settings = "mode: " .. tostring(mode) .. "\nflags:\n\t- " .. tostring(flag1) .. "\n\t- default"
+        }
+        local fn
+        fn = function()
+                return "Hello\nname: " .. tostring(userName)
+        end
+        str = "result:\n\tstatus: " .. tostring((function()
+                if ok then
+                        return "pass"
+                else
+                        return "fail"
+                end
+        end)()) .. "\n\tcode: " .. tostring(code)
+        local summary = "date: " .. tostring(os.date()) .. "\nvalues:\n\t-\n\t\ta: " .. tostring(aVal) .. "\n\t\tb: " .. tostring(bVal or defaultB)
+        local msg = send("Hello, " .. tostring(user) .. "!\nToday is " .. tostring(os.date("%A")) .. ".")
+        local desc
+        do
+                local prefix = "Result"
+                desc = tostring(prefix) .. ":\nvalue: " .. tostring(compute())
+        end
+        print(("1\n2\n3"))
+end
+local yaml = "version: " .. tostring(ver) .. "\nok: true"
+_module_0["yaml"] = yaml
+return _module_0
diff --git a/spec/outputs/switch.lua b/spec/outputs/switch.lua
index 0f8bba2..7c1004b 100644
--- a/spec/outputs/switch.lua
+++ b/spec/outputs/switch.lua
@@ -656,4 +656,125 @@ do
                 end
         end
 end
+do
+        local v = "hello"
+        if "hello" == v then
+                print("matched hello")
+        else
+                print("not matched")
+        end
+end
+do
+        local f
+        f = function()
+                return "ok"
+        end
+        local val = f()
+        if "ok" == val then
+                print("it's ok")
+        end
+end
+do
+        local g
+        g = function()
+                return 42
+        end
+        local result = g()
+        if 1 == result or 2 == result then
+                print("small")
+        elseif 42 == result then
+                print("life universe everything")
+        else
+                print("other " .. tostring(result))
+        end
+end
+do
+        local check
+        check = function()
+                if true then
+                        return "yes"
+                else
+                        return "no"
+                end
+        end
+        local x = check()
+        if "yes" == x then
+                print("affirmative")
+        else
+                print("negative")
+        end
+end
+do
+        local t
+        t = function()
+                local tb = {
+                        a = 1
+                }
+                tb.a = 2
+                return tb
+        end
+        local data = t()
+        local _type_0 = type(data)
+        local _tab_0 = "table" == _type_0 or "userdata" == _type_0
+        local _match_0 = false
+        if _tab_0 then
+                if 2 == data.a then
+                        _match_0 = true
+                        print("matched")
+                end
+        end
+        if not _match_0 then
+                print("not matched")
+        end
+end
+do
+        local clientData = {
+                "Meta",
+                "CUST_1001",
+                "CHK123"
+        }
+        local _type_0 = type(clientData)
+        local _tab_0 = "table" == _type_0 or "userdata" == _type_0
+        if _tab_0 then
+                local metadata
+                do
+                        local _accum_0 = { }
+                        local _len_0 = 1
+                        local _max_0 = #clientData + -3 + 1
+                        for _index_0 = 1, _max_0 do
+                                local _item_0 = clientData[_index_0]
+                                _accum_0[_len_0] = _item_0
+                                _len_0 = _len_0 + 1
+                        end
+                        metadata = _accum_0
+                end
+                local customerId = clientData[#clientData - 1]
+                local checksum = clientData[#clientData]
+                if customerId ~= nil and checksum ~= nil then
+                        print(metadata)
+                        print(customerId)
+                        print(checksum)
+                end
+        end
+end
+do
+        local handlePath
+        handlePath = function(segments)
+                local _type_0 = type(segments)
+                local _tab_0 = "table" == _type_0 or "userdata" == _type_0
+                if _tab_0 then
+                        local resource = segments[#segments - 1]
+                        local action = segments[#segments]
+                        if resource ~= nil and action ~= nil then
+                                print("Resource:", resource)
+                                return print("Action:", action)
+                        end
+                end
+        end
+        handlePath({
+                "admin",
+                "logs",
+                "view"
+        })
+end
 return nil
diff --git a/spec/outputs/syntax.lua b/spec/outputs/syntax.lua
index 040a325..2df3473 100644
--- a/spec/outputs/syntax.lua
+++ b/spec/outputs/syntax.lua
@@ -430,4 +430,15 @@ do
         local f2
         f2 = function() end
 end
+do
+        if res ~= "" then
+                return res
+        end
+end
+do
+        return res((function()
+                if res ~= "" then
+                end
+        end)())
+end
 return nil
diff --git a/spec/outputs/tables.lua b/spec/outputs/tables.lua
index f358811..3f851de 100644
--- a/spec/outputs/tables.lua
+++ b/spec/outputs/tables.lua
@@ -366,6 +366,28 @@ local menus = {
                 }
         }
 }
+_ = {
+        boolean = {
+                true,
+                false
+        },
+        float = {
+                3.14,
+                -6.8523015e+5
+        },
+        int = {
+                123,
+                -685230
+        },
+        null = {
+                nodeName = 'node',
+                parent = nil
+        },
+        string = {
+                'Hello world',
+                "newline\nnewline2"
+        }
+}
 local tb
 do
         local _tab_0 = { }
diff --git a/spec/outputs/test/format_spec.lua b/spec/outputs/test/format_spec.lua
index ed0fbee..7aa85cd 100644
--- a/spec/outputs/test/format_spec.lua
+++ b/spec/outputs/test/format_spec.lua
@@ -122,7 +122,7 @@ return describe("format", function()
                         local original_ast = yue.to_ast(code)
                         assert.is_not_nil(original_ast)
                         rewriteLineCol(original_ast)
-                        local formated = yue.format(code)
+                        local formated = yue.format(code, 0, false)
                         local ast = yue.to_ast(formated)
                         assert.is_not_nil(ast)
                         rewriteLineCol(ast)
diff --git a/spec/outputs/try_catch.lua b/spec/outputs/try_catch.lua
index efd92c6..edb2341 100644
--- a/spec/outputs/try_catch.lua
+++ b/spec/outputs/try_catch.lua
@@ -22,6 +22,44 @@ end
 local _anon_func_7 = function(a, b, c, tb)
         return tb.f(a, b, c)
 end
+local _anon_func_8 = function(_arg_0, ...)
+        local ok = _arg_0
+        return ...
+end
+local _anon_func_10 = function(_arg_0, ...)
+        local _ok_0 = _arg_0
+        if _ok_0 then
+                return ...
+        end
+end
+local _anon_func_9 = function(func, pcall)
+        return _anon_func_10(pcall(func))
+end
+local _anon_func_12 = function(_arg_0, ...)
+        local _ok_0 = _arg_0
+        if _ok_0 then
+                return ...
+        end
+end
+local _anon_func_11 = function(func, pcall)
+        return _anon_func_12(pcall(func))
+end
+local _anon_func_14 = function(_arg_0, ...)
+        local _ok_0 = _arg_0
+        if _ok_0 then
+                return ...
+        end
+end
+local _anon_func_15 = function(func, print)
+        print(123)
+        return func()
+end
+local _anon_func_13 = function(func, print, xpcall)
+        return _anon_func_14(xpcall(_anon_func_15, function(e)
+                print(e)
+                return e
+        end, func, print))
+end
 local f
 f = function()
         xpcall(function()
@@ -104,10 +142,236 @@ f = function()
         do
                 x(function()
                         local tb, a, b, c
-                        f = function()
+                        local f1
+                        f1 = function()
                                 return pcall(_anon_func_7, a, b, c, tb)
                         end
                 end)
         end
+        do
+                local f1
+                f1 = function()
+                        do
+                                return _anon_func_8(pcall(function()
+                                        return func()
+                                end))
+                        end
+                end
+        end
+        do
+                local func
+                local a, b, c
+                local _ok_0, _ret_0, _ret_1, _ret_2 = pcall(func)
+                if _ok_0 then
+                        a, b, c = _ret_0, _ret_1, _ret_2
+                end
+        end
+        do
+                local a, b, c
+                local _ok_0, _ret_0, _ret_1, _ret_2 = pcall(function()
+                        return func()
+                end)
+                if _ok_0 then
+                        a, b, c = _ret_0, _ret_1, _ret_2
+                end
+        end
+        do
+                local a
+                local _exp_0 = (_anon_func_9(func, pcall))
+                if _exp_0 ~= nil then
+                        a = _exp_0
+                else
+                        a = "default"
+                end
+        end
+        do
+                f(_anon_func_11(func, pcall))
+        end
+        do
+                f(_anon_func_13(func, print, xpcall))
+        end
         return nil
 end
+local _anon_func_16 = function(a, b, c, tb)
+        return tb.f(a, b, c)
+end
+local _anon_func_17 = function(_arg_0, ...)
+        local ok = _arg_0
+        return ...
+end
+do
+        xpcall(function()
+                return func(1, 2, 3)
+        end, function(err)
+                return print(err)
+        end)
+        xpcall(function()
+                return func(1, 2, 3)
+        end, function(err)
+                return print(err)
+        end)
+        pcall(function()
+                print("trying")
+                return func(1, 2, 3)
+        end)
+        do
+                local success, result = xpcall(function()
+                        return func(1, 2, 3)
+                end, function(err)
+                        return print(err)
+                end)
+                success, result = pcall(function()
+                        return func(1, 2, 3)
+                end)
+        end
+        local tb = { }
+        pcall(function()
+                return tb.func
+        end)
+        pcall(function()
+                return tb.func()
+        end)
+        pcall(function()
+                return tb.func()
+        end)
+        pcall(function()
+                return (tb.func())
+        end)
+        pcall(function()
+                return (tb:func(1, 2, 3))
+        end)
+        pcall(function()
+                return tb.func(1)
+        end)
+        pcall(function()
+                return tb.func(1)
+        end)
+        if (xpcall(function()
+                return func(1)
+        end, function(err)
+                return print(err)
+        end)) then
+                print("OK")
+        end
+        if xpcall(function()
+                return (func(1))
+        end, function(err)
+                return print(err)
+        end) then
+                print("OK")
+        end
+        do
+                do
+                        local success, result = pcall(function()
+                                return func("abc", 123)
+                        end)
+                        if success then
+                                print(result)
+                        end
+                end
+                local success, result = xpcall(function()
+                        return func("abc", 123)
+                end, function(err)
+                        return print(err)
+                end)
+                success, result = xpcall(function()
+                        return func("abc", 123)
+                end, function(err)
+                        return print(err)
+                end)
+                if success then
+                        print(result)
+                end
+        end
+        do
+                pcall(function()
+                        return func(1, 2, 3)
+                end)
+                pcall(function()
+                        return func(1, 2, 3)
+                end)
+        end
+        do
+                x(function()
+                        local tb, a, b, c
+                        local f1
+                        f1 = function()
+                                return pcall(_anon_func_16, a, b, c, tb)
+                        end
+                end)
+        end
+        do
+                local f1
+                f1 = function()
+                        do
+                                return _anon_func_17(pcall(function()
+                                        return func()
+                                end))
+                        end
+                end
+        end
+        do
+                local func
+                local a, b, c
+                local _ok_0, _ret_0, _ret_1, _ret_2 = pcall(func)
+                if _ok_0 then
+                        a, b, c = _ret_0, _ret_1, _ret_2
+                end
+        end
+        do
+                local a, b, c
+                local _ok_0, _ret_0, _ret_1, _ret_2 = pcall(function()
+                        return func()
+                end)
+                if _ok_0 then
+                        a, b, c = _ret_0, _ret_1, _ret_2
+                end
+        end
+        do
+                local a
+                local _exp_0 = ((function()
+                        return (function(_arg_0, ...)
+                                local _ok_0 = _arg_0
+                                if _ok_0 then
+                                        return ...
+                                end
+                        end)(pcall(function()
+                                return func()
+                        end))
+                end)())
+                if _exp_0 ~= nil then
+                        a = _exp_0
+                else
+                        a = "default"
+                end
+        end
+        do
+                f((function()
+                        return (function(_arg_0, ...)
+                                local _ok_0 = _arg_0
+                                if _ok_0 then
+                                        return ...
+                                end
+                        end)(pcall(function()
+                                return func()
+                        end))
+                end)())
+        end
+        do
+                f((function()
+                        return (function(_arg_0, ...)
+                                local _ok_0 = _arg_0
+                                if _ok_0 then
+                                        return ...
+                                end
+                        end)(xpcall(function()
+                                print(123)
+                                return func()
+                        end, function(e)
+                                print(e)
+                                return e
+                        end))
+                end)())
+        end
+end
+return nil
diff --git a/spec/outputs/unicode/assign.lua b/spec/outputs/unicode/assign.lua
index d4ad56a..e00d016 100644
--- a/spec/outputs/unicode/assign.lua
+++ b/spec/outputs/unicode/assign.lua
@@ -43,10 +43,8 @@ do
         end
 end
 local _anon_func_0 = function(_u6253_u5370)
-        do
-                _u6253_u5370(123)
-                return { }
-        end
+        _u6253_u5370(123)
+        return { }
 end
 return __u65e0_u6548_u53d8_u91cf(function()
         setmetatable(a_u53d8_u91cf, _anon_func_0(_u6253_u5370))
diff --git a/spec/outputs/unicode/comprehension.lua b/spec/outputs/unicode/comprehension.lua
index 60e490f..92bce69 100644
--- a/spec/outputs/unicode/comprehension.lua
+++ b/spec/outputs/unicode/comprehension.lua
@@ -243,8 +243,11 @@ end
 do
         local _accum_0 = { }
         local _len_0 = 1
+        local _min_0 = 1 + 2
         local _max_0 = 3 + 4
-        for _index_0 = 1 + 2, _max_0 < 0 and #_u5217_u8868 + _max_0 or _max_0 do
+        _min_0 = _min_0 < 0 and #_u5217_u8868 + _min_0 + 1 or _min_0
+        _max_0 = _max_0 < 0 and #_u5217_u8868 + _max_0 + 1 or _max_0
+        for _index_0 = _min_0, _max_0 do
                 local _u9879_u76ee = _u5217_u8868[_index_0]
                 _accum_0[_len_0] = _u9879_u76ee
                 _len_0 = _len_0 + 1
@@ -254,8 +257,11 @@ end
 do
         local _accum_0 = { }
         local _len_0 = 1
+        local _min_0 = _u4f60_u597d() * 4
         local _max_0 = 2 - _u4e1c_u897f[4]
-        for _index_0 = _u4f60_u597d() * 4, _max_0 < 0 and #_u5217_u8868 + _max_0 or _max_0 do
+        _min_0 = _min_0 < 0 and #_u5217_u8868 + _min_0 + 1 or _min_0
+        _max_0 = _max_0 < 0 and #_u5217_u8868 + _max_0 + 1 or _max_0
+        for _index_0 = _min_0, _max_0 do
                 local _u9879_u76ee = _u5217_u8868[_index_0]
                 _accum_0[_len_0] = _u9879_u76ee
                 _len_0 = _len_0 + 1
diff --git a/spec/outputs/unicode/funcs.lua b/spec/outputs/unicode/funcs.lua
index 6e94587..06b24b1 100644
--- a/spec/outputs/unicode/funcs.lua
+++ b/spec/outputs/unicode/funcs.lua
@@ -24,7 +24,7 @@ _u5f00(function()
 end)
 local _u53d8_u91cfh
 _u53d8_u91cfh = function()
-        return _ud83d_udc4b
+        return _u1f44b
 end
 _u5403(function() end, _u4e16_u754c);
 (function() end)()
diff --git a/spec/outputs/unicode/import.lua b/spec/outputs/unicode/import.lua
index 7c31ceb..e055c81 100644
--- a/spec/outputs/unicode/import.lua
+++ b/spec/outputs/unicode/import.lua
@@ -11,10 +11,10 @@ local _u5b57_u6bb5x, _u5b57_u6bb5y, _u5b57_u6bb5z = _u9053_u5177_u7ec4["字段x"
                 return _fn_0(_base_0, ...)
         end
 end)(), _u9053_u5177_u7ec4["字段z"]
-local _u9886_u4e3b, _ud83d_udc7b
+local _u9886_u4e3b, _u1f47b
 do
         local _obj_1 = _u627e_u5230("我的表")
-        _u9886_u4e3b, _ud83d_udc7b = _obj_1["领主"], (function()
+        _u9886_u4e3b, _u1f47b = _obj_1["领主"], (function()
                 local _base_0 = _obj_1
                 local _fn_0 = _base_0["👻"]
                 return _fn_0 and function(...)
diff --git a/spec/outputs/unicode/lists.lua b/spec/outputs/unicode/lists.lua
index aafd516..3bf6f50 100644
--- a/spec/outputs/unicode/lists.lua
+++ b/spec/outputs/unicode/lists.lua
@@ -229,31 +229,36 @@ _u53d8_u91cfx = {
         6,
         7
 }
-local _max_0 = -5
-for _index_0 = 2, _max_0 < 0 and #_u53d8_u91cfx + _max_0 or _max_0, 2 do
+local _max_0 = #_u53d8_u91cfx + -5 + 1
+for _index_0 = 2, _max_0, 2 do
         local _u53d8_u91cfy = _u53d8_u91cfx[_index_0]
         _u6253_u5370(_u53d8_u91cfy)
 end
-local _max_1 = 3
-for _index_0 = 1, _max_1 < 0 and #_u53d8_u91cfx + _max_1 or _max_1 do
+for _index_0 = 1, 3 do
         local _u53d8_u91cfy = _u53d8_u91cfx[_index_0]
         _u6253_u5370(_u53d8_u91cfy)
 end
-for _index_0 = 2, #_u53d8_u91cfx do
+local _max_1 = #_u53d8_u91cfx
+for _index_0 = 2, _max_1 do
         local _u53d8_u91cfy = _u53d8_u91cfx[_index_0]
         _u6253_u5370(_u53d8_u91cfy)
 end
-for _index_0 = 1, #_u53d8_u91cfx, 2 do
+local _max_2 = #_u53d8_u91cfx
+for _index_0 = 1, _max_2, 2 do
         local _u53d8_u91cfy = _u53d8_u91cfx[_index_0]
         _u6253_u5370(_u53d8_u91cfy)
 end
-for _index_0 = 2, #_u53d8_u91cfx, 2 do
+local _max_3 = #_u53d8_u91cfx
+for _index_0 = 2, _max_3, 2 do
         local _u53d8_u91cfy = _u53d8_u91cfx[_index_0]
         _u6253_u5370(_u53d8_u91cfy)
 end
 local _u53d8_u91cfa, _u53d8_u91cfb, _u53d8_u91cfc = 1, 5, 2
-local _max_2 = _u53d8_u91cfb
-for _index_0 = _u53d8_u91cfa, _max_2 < 0 and #_u53d8_u91cfx + _max_2 or _max_2, _u53d8_u91cfc do
+local _min_0 = _u53d8_u91cfa
+local _max_4 = _u53d8_u91cfb
+_min_0 = _min_0 < 0 and #_u53d8_u91cfx + _min_0 + 1 or _min_0
+_max_4 = _max_4 < 0 and #_u53d8_u91cfx + _max_4 + 1 or _max_4
+for _index_0 = _min_0, _max_4, _u53d8_u91cfc do
         local _u53d8_u91cfy = _u53d8_u91cfx[_index_0]
         _u6253_u5370(_u53d8_u91cfy)
 end
diff --git a/spec/outputs/unicode/macro.lua b/spec/outputs/unicode/macro.lua
index 3b9327a..b4e78cd 100644
--- a/spec/outputs/unicode/macro.lua
+++ b/spec/outputs/unicode/macro.lua
@@ -216,17 +216,15 @@ do
 end
 local _ = require('下划线')
 local _anon_func_0 = function(_)
-        do
-                local _call_0 = (_({
-                        1,
-                        2,
-                        3,
-                        4,
-                        -2,
-                        3
-                }))
-                return _call_0["链"](_call_0)
-        end
+        local _call_0 = (_({
+                1,
+                2,
+                3,
+                4,
+                -2,
+                3
+        }))
+        return _call_0["链"](_call_0)
 end
 local _call_0 = ((function()
         local _call_0 = ((function()
@@ -241,17 +239,15 @@ local _call_0 = ((function()
 end)())
 local _u7ed3_u679ca = _call_0["取值"](_call_0)
 local _anon_func_1 = function(_)
-        do
-                local _call_1 = (_({
-                        1,
-                        2,
-                        3,
-                        4,
-                        -2,
-                        3
-                }))
-                return _call_1["链"](_call_1)
-        end
+        local _call_1 = (_({
+                1,
+                2,
+                3,
+                4,
+                -2,
+                3
+        }))
+        return _call_1["链"](_call_1)
 end
 do
         local _call_1 = ((function()
@@ -270,10 +266,8 @@ do
         end)
 end
 local _anon_func_2 = function(_u539f_u70b9)
-        do
-                local _call_1 = _u539f_u70b9["变换"]["根节点"]["游戏对象"]
-                return _call_1["父节点"](_call_1)
-        end
+        local _call_1 = _u539f_u70b9["变换"]["根节点"]["游戏对象"]
+        return _call_1["父节点"](_call_1)
 end
 local _call_1 = ((function()
         local _call_1 = ((function()
diff --git a/spec/outputs/unicode/multiline_chain.lua b/spec/outputs/unicode/multiline_chain.lua
index c1da13f..61e7057 100644
--- a/spec/outputs/unicode/multiline_chain.lua
+++ b/spec/outputs/unicode/multiline_chain.lua
@@ -59,10 +59,8 @@ _u51fd_u6570 = function()
         return _accum_0
 end
 local _anon_func_0 = function(_u53d8_u91cfa)
-        do
-                local _call_1 = _u53d8_u91cfa
-                return (_call_1["变量b"](_call_1, 123))["变量c"]("abc")
-        end
+        local _call_1 = _u53d8_u91cfa
+        return (_call_1["变量b"](_call_1, 123))["变量c"]("abc")
 end
 local _u51fd_u65701
 _u51fd_u65701 = function()
diff --git a/spec/outputs/unicode/syntax.lua b/spec/outputs/unicode/syntax.lua
index 1984f40..a13302b 100644
--- a/spec/outputs/unicode/syntax.lua
+++ b/spec/outputs/unicode/syntax.lua
@@ -286,10 +286,8 @@ _ = 5 - _u4ec0_u4e48(_u65e0_u804a)
 _u4ec0_u4e48(_u65e0_u804a - 5)
 _u53d8_u91cfx = _u4f60_u597d - _u4e16_u754c - _u67d0_u7269
 local _anon_func_0 = function(_u4ec0_u4e48)
-        do
-                local _call_8 = _u4ec0_u4e48
-                return _call_8["酷"](_call_8, 100)
-        end
+        local _call_8 = _u4ec0_u4e48
+        return _call_8["酷"](_call_8, 100)
 end
 (function(_u67d0_u7269)
         if _u67d0_u7269 == nil then
diff --git a/spec/outputs/unicode/vararg.lua b/spec/outputs/unicode/vararg.lua
index b837006..fc894ff 100644
--- a/spec/outputs/unicode/vararg.lua
+++ b/spec/outputs/unicode/vararg.lua
@@ -125,14 +125,10 @@ local _anon_func_11 = function(_u9879_u76ee, ...)
         return _tbl_0
 end
 local _anon_func_12 = function(_u51fd_u6570)
-        do
-                return _u51fd_u6570()
-        end
+        return _u51fd_u6570()
 end
 local _anon_func_13 = function(_u51fd_u6570, ...)
-        do
-                return _u51fd_u6570(...)
-        end
+        return _u51fd_u6570(...)
 end
 local _anon_func_14 = function(_u51fd_u6570)
         local _accum_0 = { }
@@ -195,15 +191,11 @@ local _anon_func_23 = function(_u51fd_u6570, ...)
         return nil
 end
 local _anon_func_24 = function(_u6253_u5370, select, ...)
-        do
-                _u6253_u5370(select("#", ...))
-                return _u6253_u5370(...)
-        end
+        _u6253_u5370(select("#", ...))
+        return _u6253_u5370(...)
 end
 local _anon_func_25 = function(_u6253_u5370, ...)
-        do
-                return _u6253_u5370(...)
-        end
+        return _u6253_u5370(...)
 end
 local _anon_func_26 = function(_u53d8_u91cfx, _u8868, _u88682)
         if 1 == _u53d8_u91cfx then
@@ -214,9 +206,7 @@ local _anon_func_26 = function(_u53d8_u91cfx, _u8868, _u88682)
         end
 end
 local _anon_func_27 = function(_u6253_u5370, ...)
-        do
-                return _u6253_u5370(...)
-        end
+        return _u6253_u5370(...)
 end
 local _anon_func_28 = function(_u6761_u4ef6)
         if _u6761_u4ef6 then
@@ -224,10 +214,8 @@ local _anon_func_28 = function(_u6761_u4ef6)
         end
 end
 local _anon_func_29 = function(_u6253_u5370, _arg_0, ...)
-        do
-                local _u8868 = _arg_0
-                return _u6253_u5370(...)
-        end
+        local _u8868 = _arg_0
+        return _u6253_u5370(...)
 end
 local _u8fde_u63a5
 _u8fde_u63a5 = function(...)
diff --git a/spec/outputs/upvalue_func.lua b/spec/outputs/upvalue_func.lua
index 3181adf..3e088be 100644
--- a/spec/outputs/upvalue_func.lua
+++ b/spec/outputs/upvalue_func.lua
@@ -214,10 +214,8 @@ local _anon_func_1 = function(valueB)
         end
 end
 local _anon_func_2 = function(print, select, _arg_0, ...)
-        do
-                local ok = _arg_0
-                return print(select(3, ...))
-        end
+        local ok = _arg_0
+        return print(select(3, ...))
 end
 local _anon_func_3 = function(tb)
         if tb ~= nil then
@@ -242,11 +240,9 @@ local _anon_func_5 = function(getmetatable, tb)
         return _obj_0[1 + 1](_obj_0, "abc")
 end
 local _anon_func_6 = function(tb)
-        do
-                local _call_0 = tb
-                local _call_1 = _call_0["end"](_call_0)
-                return _call_1["🤣"](_call_1, 123)
-        end
+        local _call_0 = tb
+        local _call_1 = _call_0["end"](_call_0)
+        return _call_1["🤣"](_call_1, 123)
 end
 local _anon_func_7 = function(itemA, listA)
         for _index_0 = 1, #listA do
@@ -354,17 +350,13 @@ local _anon_func_16 = function(pairs, tb, tostring)
         return _tbl_0
 end
 local _anon_func_17 = function(print)
-        do
-                print(123)
-                return "abc"
-        end
+        print(123)
+        return "abc"
 end
 local _anon_func_18 = function(print, select, _arg_0, ...)
-        do
-                local success = _arg_0
-                if success then
-                        return print(select('#', ...))
-                end
+        local success = _arg_0
+        if success then
+                return print(select('#', ...))
         end
 end
 local _anon_func_19 = function(cond, i)
@@ -459,11 +451,9 @@ local _anon_func_25 = function(itemA, listA)
         return false
 end
 local _anon_func_24 = function(itemA, listA, tb)
-        do
-                local _call_0 = tb
-                local _call_1 = _call_0["end"](_call_0)
-                return _call_1["🤣"](_call_1, 123 and (#listA > 0 and _anon_func_25(itemA, listA)))
-        end
+        local _call_0 = tb
+        local _call_1 = _call_0["end"](_call_0)
+        return _call_1["🤣"](_call_1, 123 and (#listA > 0 and _anon_func_25(itemA, listA)))
 end
 GameEngine:onEvent("SomeEvent", function()
         return func(value + (_anon_func_21(cond)) + (_anon_func_22(valueB)) > _anon_func_23(tb) + _anon_func_24(itemA, listA, tb))
@@ -503,13 +493,11 @@ local _anon_func_27 = function(char)
         return nil
 end
 local _anon_func_28 = function(os, _arg_0, ...)
-        do
-                local ok = _arg_0
-                if ok then
-                        return ...
-                else
-                        return os.exit(1)
-                end
+        local ok = _arg_0
+        if ok then
+                return ...
+        else
+                return os.exit(1)
         end
 end
 local _anon_func_29 = function(debug_env_after, debug_env_before, env, func)
diff --git a/spec/outputs/vararg.lua b/spec/outputs/vararg.lua
index dabba44..9f97681 100644
--- a/spec/outputs/vararg.lua
+++ b/spec/outputs/vararg.lua
@@ -125,14 +125,10 @@ local _anon_func_11 = function(items, ...)
         return _tbl_0
 end
 local _anon_func_12 = function(func)
-        do
-                return func()
-        end
+        return func()
 end
 local _anon_func_13 = function(func, ...)
-        do
-                return func(...)
-        end
+        return func(...)
 end
 local _anon_func_14 = function(func)
         local _accum_0 = { }
@@ -195,15 +191,11 @@ local _anon_func_23 = function(func, ...)
         return nil
 end
 local _anon_func_24 = function(print, select, ...)
-        do
-                print(select("#", ...))
-                return print(...)
-        end
+        print(select("#", ...))
+        return print(...)
 end
 local _anon_func_25 = function(print, ...)
-        do
-                return print(...)
-        end
+        return print(...)
 end
 local _anon_func_26 = function(tb, tb2, x)
         if 1 == x then
@@ -214,9 +206,7 @@ local _anon_func_26 = function(tb, tb2, x)
         end
 end
 local _anon_func_27 = function(print, ...)
-        do
-                return print(...)
-        end
+        return print(...)
 end
 local _anon_func_28 = function(cond)
         if cond then
@@ -224,10 +214,8 @@ local _anon_func_28 = function(cond)
         end
 end
 local _anon_func_29 = function(print, _arg_0, ...)
-        do
-                local tb = _arg_0
-                return print(...)
-        end
+        local tb = _arg_0
+        return print(...)
 end
 local join
 join = function(...)
@@ -306,3 +294,75 @@ join = function(...)
         end
         return nil
 end
+do
+        local f1
+        f1 = function(...)
+                local t = {
+                        n = select("#", ...),
+                        ...
+                }
+                print(t.n)
+                print(#t)
+                for i = 1, t.n do
+                        print(t[i])
+                end
+        end
+        f1(1, 2, 3)
+        f1("a", "b", "c", "d")
+        f1()
+        local f2
+        f2 = function(...)
+                local args = {
+                        n = select("#", ...),
+                        ...
+                }
+                print("args count:", args.n)
+                print("args length:", #args)
+                for i = 1, args.n do
+                        if args[i] == nil then
+                                print("position", i, "is nil")
+                        else
+                                print("position", i, ":", args[i])
+                        end
+                end
+        end
+        f2(1, nil, 3, nil, 5)
+        local f3
+        f3 = function(prefix, ...)
+                local items = {
+                        n = select("#", ...),
+                        ...
+                }
+                local result = { }
+                for i = 1, items.n do
+                        result[i] = prefix .. tostring(items[i])
+                end
+                return result
+        end
+        f3("item_", 1, 2, 3)
+        local f4
+        f4 = function(...)
+                local empty = {
+                        n = select("#", ...),
+                        ...
+                }
+                print("empty count:", empty.n)
+                return print("empty length:", #empty)
+        end
+        f4()
+        local process
+        process = function(...)
+                local data = {
+                        n = select("#", ...),
+                        ...
+                }
+                local sum = 0
+                for i = 1, data.n do
+                        if type(data[i]) == "number" then
+                                sum = sum + data[i]
+                        end
+                end
+                return sum
+        end
+        return process(1, 2, 3, "skip", 5)
+end
diff --git a/spec/outputs/with.lua b/spec/outputs/with.lua
index 20c5d44..530915e 100644
--- a/spec/outputs/with.lua
+++ b/spec/outputs/with.lua
@@ -192,26 +192,61 @@ do
                 local _with_0 = item
                 do
                         local _accum_0
-                        while true do
+                        repeat
                                 if _with_0.id > 0 then
                                         _accum_0 = _with_0.content
                                         break
                                 end
-                        end
+                        until true
                         _with_0 = _accum_0
                 end
                 return _with_0
         end)())
         local a
-        local _with_0 = tb
+        do
+                local _with_0 = tb
+                do
+                        local _accum_0
+                        repeat
+                                if _with_0.v then
+                                        _accum_0 = _with_0.a
+                                        break
+                                end
+                        until true
+                        _with_0 = _accum_0
+                end
+                a = _with_0
+        end
         local _accum_0
         while true do
-                if _with_0.v then
-                        _accum_0 = _with_0.a
-                        break
+                local _with_0 = tb
+                local _accum_1
+                repeat
+                        if _with_0 ~= nil then
+                                _accum_1 = 1
+                                break
+                        end
+                until true
+                _with_0 = _accum_1
+                _accum_0 = _with_0
+                break
+        end
+        a = _accum_0
+end
+do
+        local a
+        local _accum_0
+        for i = 1, 100 do
+                local x = tb[i]
+                if x ~= nil then
+                        local _des_0 = 1
+                        if _des_0 then
+                                x.id = _des_0
+                                _accum_0 = x
+                                break
+                        end
                 end
         end
-        _with_0 = _accum_0
-        a = _with_0
+        a = _accum_0
 end
 return nil