program = E_3(|o|) ++ E_3(|w|) ++ E_2(z) ++ E_3(s) ++ o ++ w ++ E_4(|c|) ++ c
E_n - little endian encoding, n - length o - initial read only data w - initial heap z - heap pages filled with zeros s - stack size c - program code
https://graypaper.fluffylabs.dev/#/579bd12/2b92022b9202
program = E_3(|o|) ++ E_3(|w|) ++ E_2(z) ++ E_3(s) ++ o ++ w ++ E_4(|c|) ++ c
E_n - little endian encoding, n - length o - initial read only data w - initial heap z - heap pages filled with zeros s - stack size c - program code
https://graypaper.fluffylabs.dev/#/579bd12/2b92022b9202