constant expression test