Symbol: sval_cmp_t