// allocated

void detect (int M, int N, int * Allocated, int *Requested, int *Available);

// prints the core processes in deadlock cycle(s), and then 
// also separately prints those that are blocked 
// on resources held by processes in deadlock set (auxilary deadlock)

// M processes, N resources