let (<+) a v = Array.append a [|v|] 
let foo k s =
  ((fun k  -> fun s  -> (k#_continue_ (object (self)  end)) 1)
     (object (self)
        val _continue_ =
          fun x  ->
            (fun k  ->
               fun s  ->
                 ((fun k  -> fun s  -> (k#_continue_ (object (self)  end)) 2)
                    (object (self)
                       val _continue_ =
                         fun x  ->
                           (fun k  ->
                              fun s  ->
                                ((fun k  -> fun s  -> (k#_continue_ (object (self)  end)) 3)
                                   (object (self)
                                      val _continue_ =
                                        fun x  ->
                                          (fun k  ->
                                             fun s  ->
                                               ((fun k  -> fun s  -> (k#_continue_ (object (self)  end)) 4)
                                                  (object (self)
                                                     val _continue_ =
                                                       fun x  ->
                                                         (fun k  ->
                                                            fun s  ->
                                                              ((fun k  -> fun s  -> (k#_continue_ (object (self)  end)) 5)
                                                                 (object (self)
                                                                    val _continue_ =
                                                                    fun x  ->
                                                                    (fun k  ->
                                                                    fun s  ->
                                                                    ((fun k  -> fun s  -> (k#_continue_ (object (self)  end)) 6)
                                                                    (object (self)
                                                                    val _continue_ =
                                                                    fun x  ->
                                                                    (fun k  ->
                                                                    fun s  ->
                                                                    ((fun k  -> fun s  -> (k#_continue_ (object (self)  end)) 7)
                                                                    (object (self)
                                                                    val _continue_ =
                                                                    fun x  ->
                                                                    (fun k  ->
                                                                    fun s  ->
                                                                    ((fun k  -> fun s  -> (k#_continue_ (object (self)  end)) 9)
                                                                    (object (self)
                                                                    val _continue_ =
                                                                    fun x  ->
                                                                    (fun k  ->
                                                                    fun s  ->
                                                                    ((fun k  -> fun s  -> (k#_continue_ (object (self)  end)) 10)
                                                                    (object (self)
                                                                    val _continue_ =
                                                                    fun x  ->
                                                                    (fun k  ->
                                                                    fun s  ->
                                                                    ((fun k  -> fun s  -> (k#_continue_ (object (self)  end)) 11)
                                                                    (object (self)
                                                                    val _continue_ =
                                                                    fun x  ->
                                                                    (fun k  ->
                                                                    fun s  ->
                                                                    ((fun k  -> fun s  -> (k#_continue_ (object (self)  end)) 12)
                                                                    (object (self)
                                                                    val _continue_ = fun x  -> (fun k  -> fun s  -> (k#_continue_ (object (self)  end)) 13) k
                                                                    method with__continue_ x = {<_continue_ = x>}
                                                                    method _continue_ = _continue_
                                                                    end)) s) k
                                                                    method with__continue_ x = {<_continue_ = x>}
                                                                    method _continue_ = _continue_
                                                                    end)) s) k
                                                                    method with__continue_ x = {<_continue_ = x>}
                                                                    method _continue_ = _continue_
                                                                    end)) s) k
                                                                    method with__continue_ x = {<_continue_ = x>}
                                                                    method _continue_ = _continue_
                                                                    end)) s) k
                                                                    method with__continue_ x = {<_continue_ = x>}
                                                                    method _continue_ = _continue_
                                                                    end)) s) k
                                                                    method with__continue_ x = {<_continue_ = x>}
                                                                    method _continue_ = _continue_
                                                                    end)) s) k
                                                                    method with__continue_ x = {<_continue_ = x>}
                                                                    method _continue_ = _continue_
                                                                  end)) s) k
                                                     method with__continue_ x = {<_continue_ = x>}
                                                     method _continue_ = _continue_
                                                   end)) s) k
                                      method with__continue_ x = {<_continue_ = x>}
                                      method _continue_ = _continue_
                                    end)) s) k
                       method with__continue_ x = {<_continue_ = x>}
                       method _continue_ = _continue_
                     end)) s) k
        method with__continue_ x = {<_continue_ = x>}
        method _continue_ = _continue_
      end)) s