C implementation of PASS instrumented for SUPERCOP