[Asphalt 001] coccinelle