To do a blatant side step,  I think this should be reviewed by a 
language maintainer.  (I know sufficient Ada to be dangerous).

Andrew