Closes #72360. Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
AllocRef
Allocator
(de)alloc
(de)allocate