[PATCH] Decrease number of pointer derefs in exit.c