Given the example below:

Const N = 50;

Var Tally: integer;

Procedure Total;

Var Count:integer;

Begin

For Count := 1 to N do Tally := Tally + 1 End;

End;

Begin (* main program *)

Tally := 0;

Parabegin

Total; Total;

Paraend;

Write (Tally)

End.

Compose a thread safe pseudocode version that guarantees the upper and lower bound of the shared variable Tally are the same value after execution.