sig val encode : string -> int array end