let split () = Context.split s.current