Thanks for your comments. My goal was to make it const-time between subsequent requests. You're right that my solution is confusing. I'll try to come up with something better soon. Kind Regards, shm@