Symbol: int_filter