NUM_TYPES
assert(type > 0 && type < NUM_TYPES);
assert(type > 0 && type < NUM_TYPES);
if (parent == 0 || parent >= NUM_TYPES ||
child == 0 || child >= NUM_TYPES)
if (type == 0 || type >= NUM_TYPES)
for (type = 0; type < NUM_TYPES; type ++) {