>>>>> "Joel" == Joel Brobecker <brobecker@adacore.com> writes: Joel> This looks OK to me. Just a possible typo: >> + /* Two flag bit provided for the use of the target. */ Joel> ^^^ bits? Thanks, I fixed that. I'll commit shortly. Tom