Symbol: RB_INF