Reinstrumented select.c