[INTERPRETER] * BUG: Fix array and allocation management, so that allocating a byte array with a number of elements near the greatest integer does not crash anymore.