An XML DOM with just 8 bytes per node (2020)