if (EXPR, @times) { ... }