> Build and regtested on x86-64-linux
> OK for the trunk?

I forgot to include a run-time test case. Find one attached.

Tobias