Context, constant expression, binary arithmetic expressions, with tests