let is_empty s = (s == empty)