| 1 | The size of a char is = 0 bytes. |
| 2 | The size of an int list of length 4 is = 96 bytes. |
| 3 | The size of a string of length 10 is = 40 bytes. |
| 4 | The size of an int array of length 10 is = 64 bytes. |
| 5 | The size of a double array of length 10 is = 104 bytes. |
| 6 | The size of a (word32 * double) array of length 10 is = 184 bytes. |
| 7 | The size of a (word32 * word32 * double) array of length 10 is = 184 bytes. |
| 8 | The size of a (word64 * double) array of length 10 is = 184 bytes. |
| 9 | The size of a (word16 * double) array of length 10 is = 184 bytes. |
| 10 | The size of a word64 array of length 10 is = 104 bytes. |
| 11 | The size of a (word32 * word64) array of length 10 is = 184 bytes. |
| 12 | The size of a (word32 * word32 * word64) array of length 10 is = 184 bytes. |
| 13 | The size of a (word64 * word64) array of length 10 is = 184 bytes. |
| 14 | The size of a (word16 * word64) array of length 10 is = 184 bytes. |
| 15 | The size of an array of length 10 of 2-ples of ints is = 104 bytes. |
| 16 | The size of an array of length 10 of 2-ples of (shared) ints is = 104 bytes. |
| 17 | The size of an array of length 10 of arrays of length 20 of ints is = 1144 bytes. |
| 18 | The size of an array of length 10 of (shared) arrays of length 20 of ints is = 208 bytes. |
| 19 | The size of an array of length 10 of tuples of word16 * (arrays of length 20 of ints) is = 1224 bytes. |
| 20 | The size of an array of length 10 of tuples of word32 * (arrays of length 20 of ints) is = 1224 bytes. |
| 21 | The size of an array of length 10 of tuples of word64 * (arrays of length 20 of ints) is = 1224 bytes. |
| 22 | The size of an array of length 10 of tuples of real32 * (arrays of length 20 of ints) is = 1224 bytes. |
| 23 | The size of an array of length 10 of tuples of real64 * (arrays of length 20 of ints) is = 1224 bytes. |
| 24 | The size of a useless function is = 0 bytes. |