Actually, this is going to be impossible, because `ctfe` runs at compile-time, so it can't be parameterized by runtime values.