anchor.diff:                              (NCPU >= 2) ->
                                   6;
                               true ->
  -                                10
  +                                14
                           end;
                       true ->
                           if
  
positive.code:     end.
  
  
  
  %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  
  
negative.code:                             (NCPU >= 2) ->
                                  5;
                              true ->
                                  12
                          end;
                      (CPUSpeed >= 1000) ->
                          if
  