Initialization-on-demand holder idiom