Consider the following psuedo code. Note that some statements are labeled for easy reference. Assume that each statement is atomic, not each instruction.

function XO

( A. a = a + 1;

B. b = a + b;

function Y

{ C. a = 4;

D. b=a+ b:

main()

{ int a = 0; int b = 3;

create-thread (execute function X): create-thread (execute function Y);

}

There are three possible value pairs for (a.b) after the execution of the program. List them below

Each answer should be in the form of "(ab)" with no space, for example: (1,2).