let string_of_list lst = 
    "[ "^(String.concat "; " (List.map (fun str -> Printf.sprintf "%S" str) lst))^" ]"