goto : {l1 l2 : Level} {I : Set l1} {O : Set l2}
   -> CodeSegment I O -> I -> O
goto (cs b) i = b i