A few experiments with GCC plugins