Symbol: rep_val_t