paraverif $ cd server/ $ python server.py new open a terminition $ cd example $ corebuild mutualEx.byte -pkg str,re2 -I src $ ./mutualEx.byte