HomeIsabelle/Phabricator

Volatile refs are byte memory so don't need to be initialised in the allocation.