INCOMPLETE
typedef enum { INCOMPLETE, ESTABLISHED, BAD } DHState;
INCOMPLETE /* shift computations */