> What is the source/reason for the bug? There was a bug in MLTON_allocArrayNoPointers triggered if bytesPerElt = 0. In that case, the macro didn't reserve space for the forwarding pointer.