Click here for continue
(https://reddit.com/r/primes/comments/3tc3g4/coccinelle/)