ndmp_get_max_tok_seq
extern int ndmp_get_max_tok_seq(void);
if ((int)seq > ndmp_get_max_tok_seq()) {
seq, ndmp_get_max_tok_seq());
} else if ((int)seq == ndmp_get_max_tok_seq()) {
seq, ndmp_get_max_tok_seq());