Coccinelle identity

530