sig type t = TEXT | BINARY end