DIRECTOR’S CUT for Coccinelle SS20