Sophie: coccinelle-examples-1.0.0-0.rc4.2.fc16 i686

coccinelle-examples-1.0.0-0.rc4.2.fc16.i686.rpm

void main(int i)
{

	kzalloc(2 * sizeof(int), GFP_KERNEL);
	kzalloc(sizeof(int) * 2, GFP_KERNEL);

}