Checking type sizes