Function substring 

pub fn substring<A: IVm>(s: &Any<A>, start: u32, end: u32) -> Any<A>

L0 substring: the units of s from start up to end, where start <= end <= length. It neither clamps nor counts from the end.