int[0,10000] c := 1; Thread1 := P(); Thread2 := P(); //Edit system definition. system Thread1, Thread2;