Now I know a bit more about Ada pointers...