Add substring() for vero.