deut can be compressed even when 0K by 0xf4d3c0d3