Symbol: repval_fini