//Insert declarations of global clocks, variables, constants and channels.
const int N = 4; // # Girls
chan call;
bool secrets1[N] = {true,false,false,false};
bool secrets2[N] = {false,true,false,false};
bool secrets3[N] = {false,false,true,false};
bool secrets4[N] = {false,false,false,true};Girlbool known_secrets[N]//Insert local declarations of clocks, variables and constants.
//bool known_secrets[N];
//Insert process assignments.
Girl1 = Girl(secrets1);
Girl2 = Girl(secrets2);
Girl3 = Girl(secrets3);
Girl4 = Girl(secrets4);//Edit system definition.
system Girl1, Girl2, Girl3, Girl4;