regression/size.ok

   1 The size of a char is >= 0 bytes.
   2 The size of an int list of length 4 is >= 48 bytes.
   3 The size of a string of length 10 is >= 24 bytes.
   4 The size of an int array of length 10 is >= 52 bytes.
   5 The size of a double array of length 10 is >= 92 bytes.
   6 The size of an array of length 10 of 2-ples of ints is >= 92 bytes.
   7 The size of a useless function is >= 0 bytes.
   8 The size of a continuation option ref is > 1000.
   9 13
  10 The size of a continuation option ref is < 1000.