SizeOf packed record is different when record placed into packed array [0..0], see source please