For limit checks, when the fixed size allocations that follow a variable size
allocation are stored in the ``bytesAllocated'' field of the limitCheck field in
the AllocateArray variant of machine-output.sig
