semantic: CTFE >=.