Tony Garnock-Jones 77fd8e86bf Ah, of course a 0-byte integer has value 0		2021-01-23 22:54:27 +01:00
..
preserves	Ah, of course a 0-byte integer has value 0	2021-01-23 22:54:27 +01:00