islands.adb:38:31: medium: overflow check might fail[#0]
islands.ads:48:05: warning: postcondition does not mention function result
islands.ads:48:39: medium: range check might fail (e.g. when The_Land = Land)[#1]
