Match #3497

IHT: (gc) vs (@BlueBaby#3363 is trash)