anchor.diff:  WORKDIR /home/Work
   
   # Prepare and build F*
  +ARG RESET_FSTAR=0
   RUN git clone https://github.com/FStarLang/FStar.git
   WORKDIR /home/Work/FStar
   RUN git checkout ${fstarv}
  
positive.code: WORKDIR /home/Work
  
  # Prepare and build KreMLin
  RUN git clone https://github.com/FStarLang/kremlin.git
  WORKDIR /home/Work/kremlin
  RUN git checkout ${kremlinv}
  
negative.code: 
  # Install required packages and set versions
  RUN apt-get -qq update
  RUN apt-get install --yes sudo wget libssl-dev libsqlite3-dev g++ gcc m4 make opam pkg-config python libgmp3-dev unzip cmake
  
  # Create user
  RUN useradd -ms /bin/bash Work
  