make it safe to include this after GCTDecl.h