pub fn builtin_substr(str: IStr, from: usize, len: usize) -> String