add evil sample to break assumptions
and seems we can deal with ugly case
docs: update with new info
we don't need to waste labels on jumps to 'end+1'