val evaluate : string list -> int list option