Ex 1.20 in detab.c