def increment_index(builder, val):
 one = val.type(1)
 return builder.add(val, one, flags=['nsw'])

def increment_index ( builder , val ) : one = val . type ( 1 ) return builder . add ( val , one , flags = [ 'nsw' ] )
increment an index *val* .