sig val charsets : string list end