module T14396 where data S = S