var
  i: Int := 1
  s: Int := cast(#size(Int): Int)
  a: [10]Int
  as: Int := cast(#size([10]Int): Int)
  p: Int := cast(#size(Pointer): Int)

begin
  assert(s > 0);
  assert(as = 10 * cast(#size(Int): Int));
  assert(p > 0)
end.