Is this something for which a testcase could be constructed? If so, could you install one, or state which existing testcase it is? I can make one in Ada, since I know what went wrong, but I can't figure out a way to make one in C. Sorry.