[translation:info] Error:
   File "pypy2-v6.0.0-src/rpython/translator/goal/translate.py", line 318, in main
    drv.proceed(goals)
   File "/home/void/Desktop/lang/pypy2-v6.0.0-linux64/site-packages/rpython/translator/driver.py", line 551, in proceed
    result = self._execute(goals, task_skip = self._maybe_skip())
   File "/home/void/Desktop/lang/pypy2-v6.0.0-linux64/site-packages/rpython/translator/tool/taskengine.py", line 114, in _execute
    res = self._do(goal, taskcallable, *args, **kwds)
   File "/home/void/Desktop/lang/pypy2-v6.0.0-linux64/site-packages/rpython/translator/driver.py", line 278, in _do
    res = func()
   File "/home/void/Desktop/lang/pypy2-v6.0.0-linux64/site-packages/rpython/translator/driver.py", line 315, in task_annotate
    s = annotator.build_types(self.entry_point, self.inputtypes)
   File "/home/void/Desktop/lang/pypy2-v6.0.0-linux64/site-packages/rpython/annotator/annrpython.py", line 92, in build_types
    return self.build_graph_types(flowgraph, inputs_s, complete_now=complete_now)
   File "/home/void/Desktop/lang/pypy2-v6.0.0-linux64/site-packages/rpython/annotator/annrpython.py", line 140, in build_graph_types
    self.complete()
   File "/home/void/Desktop/lang/pypy2-v6.0.0-linux64/site-packages/rpython/annotator/annrpython.py", line 201, in complete
    self.complete_pending_blocks()
   File "/home/void/Desktop/lang/pypy2-v6.0.0-linux64/site-packages/rpython/annotator/annrpython.py", line 196, in complete_pending_blocks
    self.processblock(graph, block)
   File "/home/void/Desktop/lang/pypy2-v6.0.0-linux64/site-packages/rpython/annotator/annrpython.py", line 376, in processblock
    self.flowin(graph, block)
   File "/home/void/Desktop/lang/pypy2-v6.0.0-linux64/site-packages/rpython/annotator/annrpython.py", line 479, in flowin
    self.consider_op(op)
   File "/home/void/Desktop/lang/pypy2-v6.0.0-linux64/site-packages/rpython/annotator/annrpython.py", line 635, in consider_op
    resultcell = op.consider(self)
   File "/home/void/Desktop/lang/pypy2-v6.0.0-linux64/site-packages/rpython/flowspace/operation.py", line 104, in consider
    return spec(annotator, *self.args)
   File "/home/void/Desktop/lang/pypy2-v6.0.0-linux64/site-packages/rpython/flowspace/operation.py", line 189, in specialized
    return impl(*[annotator.annotation(x) for x in other_args])
   File "/home/void/Desktop/lang/pypy2-v6.0.0-linux64/site-packages/rpython/annotator/unaryop.py", line 419, in getslice
    check_negative_slice(s_start, s_stop)
   File "/home/void/Desktop/lang/pypy2-v6.0.0-linux64/site-packages/rpython/annotator/unaryop.py", line 440, in check_negative_slice
    raise AnnotatorError("%s: not proven to have non-negative stop" % error)
[translation:ERROR] AnnotatorError:

slicing: not proven to have non-negative stop


    v9 = getslice(state_0, (9), v8)

In <FunctionGraph of (vm:76)d at 0x1e8dd70>:
Happened at file v/vm.py line 85

        sharp = state[:F_LENCODE]
        lencode = state[F_LENCODE]
        lenstack = state[F_LENSTACK]
        lenmap = state[F_LENMAP]
        lenmemory = state[F_LENMEMORY]

        offset = F_LENMEMORY+1
==>     sharp.append(state[offset:offset+lencode])
        offset += lencode
        sharp.append(state[offset:offset+lenstack])
        offset += lenstack
        hmap = state[offset:offset+lenmap]
        offset += lenmap
        #hmap = list(zip(hmap[::2], hmap[1::2]))
        sharp.append(hmap)

        sharp.append([])
        #print(lencode, lenstack, lenmemory)
        index = offset
        for area in range(lenmemory):

Known variable annotations:
 state_0 = SomeList(listdef=<[SomeInteger(knowntype=int, nonneg=False, unsigned=False)]m>)
 v8 = SomeInteger(knowntype=int, nonneg=False, unsigned=False)

Processing block:
 block@6[state_0] is a <class 'rpython.flowspace.flowcontext.SpamBlock'>
 in (vm:76)d
 containing the following operations:
       sharp_0 = getslice(state_0, (None), (5))
       lencode_0 = getitem(state_0, (5))
       lenstack_0 = getitem(state_0, (6))
       lenmap_0 = getitem(state_0, (7))
       lenmemory_0 = getitem(state_0, (8))
       v10 = getattr(sharp_0, ('append'))
       v8 = add((9), lencode_0)
       v9 = getslice(state_0, (9), v8)
       v11 = simple_call(v10, v9)
       offset_0 = inplace_add((9), lencode_0)
       v12 = getattr(sharp_0, ('append'))
       v13 = add(offset_0, lenstack_0)
       v14 = getslice(state_0, offset_0, v13)
       v15 = simple_call(v12, v14)
       offset_1 = inplace_add(offset_0, lenstack_0)
       v16 = add(offset_1, lenmap_0)
       hmap_0 = getslice(state_0, offset_1, v16)
       offset_2 = inplace_add(offset_1, lenmap_0)
       v17 = getattr(sharp_0, ('append'))
       v18 = simple_call(v17, hmap_0)
       v19 = getattr(sharp_0, ('append'))
       v20 = newlist()
       v21 = simple_call(v19, v20)
       v22 = simple_call((builtin_function range), lenmemory_0)
       v23 = iter(v22)
 --end--
[translation] start debugger...
> /home/void/Desktop/lang/pypy2-v6.0.0-linux64/site-packages/rpython/annotator/unaryop.py(440)check_negative_slice()
-> raise AnnotatorError("%s: not proven to have non-negative stop" % error)