temp fix to c verifier