Testing error detection, no execution, no need to optimize
