/* The division by zero should not be executed and not crash the filter */
false & 1/0