Z3 msvc

@traiansf  please review