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