Suppose we have a function fnFoo, capable (under some circumstances) of CTFE. Is it true that if fnFoo(compile-time values) yields a certain (compile-time) value, then fnFoo(same values at execution time) yields the same value at execution time?