Symbol: htab_val