//! Lazy values and one-time initialization of static data.