gimple_seq        148 scripts/gcc-plugins/gcc-common.h void debug_gimple_seq(gimple_seq);
gimple_seq        149 scripts/gcc-plugins/gcc-common.h void print_gimple_seq(FILE *, gimple_seq, int, int);