to split {open}, [ split ; split ]