Symbol: gic_validate_dist