semantic: Unary not CTFE.