let copy s = {
  post = s.post;
  pre = s.pre;
  cnstrnt = s.cnstrnt;
  removable = s.removable
}