anchor.diff:      verify_workers(Workers, TestFun).
   
   verify_workers(Workers, TestFun) ->
  +    verify_workers(Workers, TestFun, timer:minutes(5)).
  +
  +verify_workers(Workers, TestFun, Timeout) ->
       process_flag(trap_exit, true),
  -    TestAns = verify_helper(Workers, TestFun),
  +    TestAns = verify_helper(Workers, TestFun, Timeout),
   
       Error = lists:any(fun
           ({_W, error, _Reason}) -> true;
  
positive.code: 
      lists:map(fun({_W, Ans}) -> Ans end, TestAns).
  
  verify_helper([], _TestFun) ->
      [];
  verify_helper([W | Workers], TestFun) ->
      Master = self(),
      Pid = spawn_link(fun() ->
          Ans = TestFun(W),
          Master ! {verify_ans, W, Ans}
      end),
      TmpAns = verify_helper(Workers, TestFun),
      receive
          {verify_ans, W, TestAns} ->
              [{W, TestAns} | TmpAns];
          {'EXIT', Pid , Error} when Error /= normal ->
              [{W, error, Error} | TmpAns]
      after
          timer:minutes(5) ->
              [{W, error, timeout} | TmpAns]
      end.
  
  
negative.code:     Result = try
          verify_workers(Workers2, fun(W) ->
              read_big_file(Config, FileSize, Level2File, W, true)
          end, timer:seconds(Attempts)),
          ok
      catch
          T:R -> {error, T, R}
  