title: How to use Z3 on a 32bit windows xp
body: <p>Recently, I tried to use z3 on a 32bit windows xp, and when I load z3dll using java api, it threw error message as follow:
  WindowsError: [Error 998] Invalid access to memory location.</p>
  
  <p>I noticed that, Z3 dosen't support Windows XP because of thread-local storage. I wonder is there any way to adapt z3 to windows xp.</p>