As I mentioned below, I would like to see a more general solution.