/* nest31.h */
#ifdef  X1F
    nest = 0x1f;
#else
#include "nest32.h"
#endif