let display_version() =
  begin
    let (major, minor, build, revision)=Z3.get_version() in
    printf "Z3 %d.%d.%d.%d\n" major minor build revision;
  end