Okay. So with the initialization ordering constraints and the pure expression discussion out in the open, I can *finally* state what constitutes a legal initializer expression: Any pure expression that obeys the initialization ordering constraints is a legal initializer. Whew! shap