
a=`hax --version`
echo $a
LD_PRELOAD=$(gcc -print-file-name=libasan.so):$(gcc -print-file-name=libubsan.so)
if [ $a = '5.0.0-preview.1' ]; then
	RUN__SHELL=/bin/bash ffdec=~/ffdec/bin/ffdec LD_PRELOAD=${LD_PRELOAD} compiler=hax skip_connect_test=3 diag_json=x ./b
else
	RUN__SHELL=/bin/bash ffdec=~/ffdec/bin/ffdec LD_PRELOAD=${LD_PRELOAD} compiler=hax ./b
	#for 'read'
fi
