Added runtime check of size of the types