int a = 1 / 0;
float b = 1 / 0;
float c = 1.0 / 0.0;
float d = -67.0 / (3.0 - 3);
/*%%*
division by zero
*%%*/