NUM_OWNERS
unsigned char res_owned[NUM_OWNERS]; /* Owned resources */
for (o = 0; o < NUM_OWNERS; o++) {