GCC verifiers