chiark / gitweb /
Add a precautionary pair of initialisations to placate optimisers,