@WalterBright Is this what you had in mind?