a set of red pointers