Coccinelle identity

707