protected void slice_del() { slice_from(""); }
protected void slice_from(CharSequence s) { slice_from(s.toString()); }