sval_too_high
int sval_too_high(struct symbol *type, sval_t sval);
if (sval_too_high(type, max)) {
if (sval_too_high(type, sval))