Lazy values and one-time initialization of static data.
A value which is initialized on the first access.
A cell which can be written to only once.
