anchor.diff:  
   open Fuchu
   open FParsec // TODO: push fparsec references out of Main.
  +open Microsoft.Z3 // TODO: this too.
   
   type Options = {
       [<Option('t',
  
positive.code:     input: string option;
  }
  
  let parseFile name pprint =
      let (stream, streamName) =
          match name with
  
negative.code:     match pres with
          | Success(result, _, _)   -> if pprint
                                       then printfn "%s" ( Starling.Pretty.printScript result )
                                       else runStarlingOnScript result
          | Failure(errorMsg, _, _) -> printfn "Failure: %s" errorMsg
  
      0
  