let eot () = s.eot