val encode : string -> int array