regression/size3.amd64-darwin.ok

   1 The size of unit is = 0 bytes.
   2 The size of unit * unit is = 0 bytes.
   3 The size of bool is = 0 bytes.
   4 The size of bool * bool is = 16 bytes.
   5 The size of day is = 0 bytes.
   6 The size of day * day is = 0 bytes.
   7 The size of a char is = 0 bytes.
   8 The size of a char * char is = 0 bytes.
   9 The size of a word8 is = 0 bytes.
  10 The size of a word8 * word8 is = 0 bytes.
  11 The size of a word16 is = 0 bytes.
  12 The size of a word16 * word16 is = 0 bytes.
  13 The size of a word32 is = 0 bytes.
  14 The size of a word32 * word32 is = 16 bytes.
  15 The size of a word64 is = 0 bytes.
  16 The size of a word64 * word64 is = 24 bytes.
  17 The size of a word64 * word64 * word64 is = 32 bytes.
  18 The size of a word64 * word64 * word64 * word64 is = 40 bytes.
  19 The size of a unit list of length 4 is = 64 bytes.
  20 The size of a bool list of length 4 is = 96 bytes.
  21 The size of a day list of length 4 is = 96 bytes.
  22 The size of an int list of length 4 is = 96 bytes.
  23 The size of a string of length 10 is = 40 bytes.
  24 The size of a word64 array of length 0 is = 24 bytes.
  25 The size of a word64 array of length 1 is = 32 bytes.
  26 The size of a word64 array of length 2 is = 40 bytes.
  27 The size of a word64 array of length 3 is = 48 bytes.
  28 The size of a word64 array of length 4 is = 56 bytes.
  29 The size of a word64 array of length 5 is = 64 bytes.
  30 The size of a word64 array of length 6 is = 72 bytes.
  31 The size of a word64 array of length 7 is = 80 bytes.
  32 The size of a word64 array of length 8 is = 88 bytes.
  33 The size of a word64 array of length 9 is = 96 bytes.
  34 The size of a word64 array of length 10 is = 104 bytes.
  35 The size of a word64 array of length 11 is = 112 bytes.
  36 The size of a word64 array of length 12 is = 120 bytes.
  37 The size of a word32 array of length 0 is = 24 bytes.
  38 The size of a word32 array of length 1 is = 32 bytes.
  39 The size of a word32 array of length 2 is = 32 bytes.
  40 The size of a word32 array of length 3 is = 40 bytes.
  41 The size of a word32 array of length 4 is = 40 bytes.
  42 The size of a word32 array of length 5 is = 48 bytes.
  43 The size of a word32 array of length 6 is = 48 bytes.
  44 The size of a word32 array of length 7 is = 56 bytes.
  45 The size of a word32 array of length 8 is = 56 bytes.
  46 The size of a word32 array of length 9 is = 64 bytes.
  47 The size of a word32 array of length 10 is = 64 bytes.
  48 The size of a word32 array of length 11 is = 72 bytes.
  49 The size of a word32 array of length 12 is = 72 bytes.
  50 The size of a word16 array of length 0 is = 24 bytes.
  51 The size of a word16 array of length 1 is = 32 bytes.
  52 The size of a word16 array of length 2 is = 32 bytes.
  53 The size of a word16 array of length 3 is = 32 bytes.
  54 The size of a word16 array of length 4 is = 32 bytes.
  55 The size of a word16 array of length 5 is = 40 bytes.
  56 The size of a word16 array of length 6 is = 40 bytes.
  57 The size of a word16 array of length 7 is = 40 bytes.
  58 The size of a word16 array of length 8 is = 40 bytes.
  59 The size of a word16 array of length 9 is = 48 bytes.
  60 The size of a word16 array of length 10 is = 48 bytes.
  61 The size of a word16 array of length 11 is = 48 bytes.
  62 The size of a word16 array of length 12 is = 48 bytes.
  63 The size of a word8 array of length 0 is = 24 bytes.
  64 The size of a word8 array of length 1 is = 32 bytes.
  65 The size of a word8 array of length 2 is = 32 bytes.
  66 The size of a word8 array of length 3 is = 32 bytes.
  67 The size of a word8 array of length 4 is = 32 bytes.
  68 The size of a word8 array of length 5 is = 32 bytes.
  69 The size of a word8 array of length 6 is = 32 bytes.
  70 The size of a word8 array of length 7 is = 32 bytes.
  71 The size of a word8 array of length 8 is = 32 bytes.
  72 The size of a word8 array of length 9 is = 40 bytes.
  73 The size of a word8 array of length 10 is = 40 bytes.
  74 The size of a word8 array of length 11 is = 40 bytes.
  75 The size of a word8 array of length 12 is = 40 bytes.
  76 The size of a unit array of length 0 is = 24 bytes.
  77 The size of a unit array of length 1 is = 24 bytes.
  78 The size of a unit array of length 2 is = 24 bytes.
  79 The size of a unit array of length 3 is = 24 bytes.
  80 The size of a unit array of length 4 is = 24 bytes.
  81 The size of a unit array of length 5 is = 24 bytes.
  82 The size of a unit array of length 6 is = 24 bytes.
  83 The size of a unit array of length 7 is = 24 bytes.
  84 The size of a unit array of length 8 is = 24 bytes.
  85 The size of a unit array of length 9 is = 24 bytes.
  86 The size of a unit array of length 10 is = 24 bytes.
  87 The size of a unit array of length 11 is = 24 bytes.
  88 The size of a unit array of length 12 is = 24 bytes.
  89 The size of a word64 ref is = 16 bytes.
  90 The size of a word32 ref is = 16 bytes.
  91 The size of a word16 ref is = 16 bytes.
  92 The size of a word8 ref is = 16 bytes.
  93 The size of a unit ref is = 8 bytes.
  94 The size of a double array of length 10 is = 104 bytes.
  95 The size of a (word32 * double) array of length 10 is = 184 bytes.
  96 The size of a (word32 * word32 * double) array of length 10 is = 184 bytes.
  97 The size of a (word64 * double) array of length 10 is = 184 bytes.
  98 The size of a (word16 * double) array of length 10 is = 184 bytes.
  99 The size of a word64 array of length 10 is = 104 bytes.
 100 The size of a (word32 * word64) array of length 10 is = 184 bytes.
 101 The size of a (word32 * word32 * word64) array of length 10 is = 184 bytes.
 102 The size of a (word64 * word64) array of length 10 is = 184 bytes.
 103 The size of a (word16 * word64) array of length 10 is = 184 bytes.
 104 The size of an array of length 10 of 2-ples of ints is = 104 bytes.
 105 The size of an array of length 10 of 2-ples of (shared) ints is = 104 bytes.
 106 The size of an array of length 10 of arrays of length 20 of ints is = 1144 bytes.
 107 The size of an array of length 10 of (shared) arrays of length 20 of ints is = 208 bytes.
 108 The size of an array of length 10 of tuples of word16 * (arrays of length 20 of ints) is = 1224 bytes.
 109 The size of an array of length 10 of tuples of word32 * (arrays of length 20 of ints) is = 1224 bytes.
 110 The size of an array of length 10 of tuples of word64 * (arrays of length 20 of ints) is = 1224 bytes.
 111 The size of an array of length 10 of tuples of real32 * (arrays of length 20 of ints) is = 1224 bytes.
 112 The size of an array of length 10 of tuples of real64 * (arrays of length 20 of ints) is = 1224 bytes.
 113 The size of a useless function is = 0 bytes.
 114 The size of an empty string is = 24 bytes.