PASS769 from CPASSREF instrumented for supercop