This is not production code, and of no use to anyone but me.