Symbol: tlbiel_va_range