It is not clear if the unexpected discrepancy will lead to exception (perfectly ok) or downright memory corruption. It'd be good to have it defined.