def String.pop (s : String) := s.take s.length.pred