gadt6 is fine now, even with DEBUG