NB. Discarded/Live were distinguished based on the ELF and COFF implementations, so maybe we'll find a reason to bring the distinction back later - or maybe those can be simplified too, just to use the Live bit?