islands.adb:39:31: medium: overflow check might fail[#2]
islands.ads:34:19: medium: contract cases might not be complete[#0]
islands.ads:34:101: medium: contract case might fail[#1]
islands.ads:34:127: warning: attribute "Old" applied to constant has no effect
