The proof is in the pudding

PARAMETER (MEMMIN = 100 000)PARAMETER (MEMLEN = 500 000)COMMON /MEMORY/ FENCE, LQ(MWFLTMEMLEN) SAVE /MEMORY/ INTEGER IQ(MWFLTMEMLEN)REAL FENCE(2), Q(MWFLT*MEMLEN)DIMENSION DQ(MEMLEN)EQUIVALENCE (IQ(1), Q(1), DQ(1), LQ(9))EQUIVALENCE (LROOT, LQ(1)), (LLUMP, LQ(2))