Z3 failed to runtests due to run test-z3.exe smt2print_parse under x86 mode

[nnfdnkns]

Description:
Z3 failed to runtests due to run test-z3.exe smt2print_parse under x86 mode. could you please look this issue? Thanks.

Reproduction steps:

1. open VS2019 x86 tools command
2. git clone https://github.com/Z3Prover/z3 F:\gitP\Z3Prover\z3
3. cd F:\gitP\Z3Prover\z3 &mkdir build_x86 &cd F:\gitP\Z3Prover\z3\build_x86
4. cmake -G "Visual Studio 16 2019" -A Win32 -DCMAKE_SYSTEM_VERSION=10.0.18362.0 .. 2>&1
5. set CL=/D_SILENCE_STDEXT_HASH_DEPRECATION_WARNINGS
6. msbuild /m /p:Platform=Win32 /p:Configuration=Release Z3.sln /t:Rebuild /p:BuildInParallel=true 2>&1
7. msbuild /m /p:Platform=Win32 /p:Configuration=Release .\examples\c_example.vcxproj /t:Rebuild /p:BuildInParallel=true 2>&1
8. msbuild /m /p:Platform=Win32 /p:Configuration=Release .\examples\cpp_example.vcxproj /t:Rebuild /p:BuildInParallel=true 2>&1
9. .\Release\test-z3.exe smt2print_parse 2>&1

Expected behavio:
Runtests successfully.

Actual behavior:
test.log
test.log.62.log

spec:
(declare-datatypes (T) ((list (nil) (cons (car T) (cdr list)))))
(declare-const x Int)
(declare-const l (list Int))
(declare-fun f ((list Int)) Bool)
(assert (f (cons x l)))
done parsing
spec1: benchmark->string
; test
(set-info :status unknown)
(declare-datatypes ((list 1)) ((par (k!00)((nil) (cons (car k!00) (cdr (list k!00)))))))
(declare-fun f ((list Int)) Bool)
(declare-fun l () (list Int))
(declare-fun x () Int)
(assert
(let (($x8 (f (cons x l))))
(and $x8)))
(check-sat)

attempting to parse spec1...
parse successful, converting ast->string
spec2: string->ast->string
(ast-vector
(and (f (cons x l))))
done printing
spec:
(declare-const x Int)
(declare-const a (Array Int Int))
(declare-const b (Array (Array Int Int) Bool))
(assert (select b a))
(assert (= b ((as const (Array (Array Int Int) Bool)) true)))
(assert (= b (store b a true)))
(declare-const b1 (Array Bool Bool))
(declare-const b2 (Array Bool Bool))
(assert (= ((as const (Array Bool Bool)) false) ((_ map and) b1 b2)))
... ...