t_unsafe_unchecked_conversion.adb:5:48: Error: UNSAFE_UNCHECKED_CONVERSION: no size clause given for Source
t_unsafe_unchecked_conversion.adb:5:52: Error: UNSAFE_UNCHECKED_CONVERSION: no size clause given for Target
t_unsafe_unchecked_conversion.adb:9:52: Error: UNSAFE_UNCHECKED_CONVERSION: no size clause given for Target
t_unsafe_unchecked_conversion.adb:24:48: Error: UNSAFE_UNCHECKED_CONVERSION: Source size (8) /= Target size (32)
