> b) if it's not the desired behaviour, that's a lot more messy.

I had assumed this was a bug in the checking but apparently never
brought it here correctly.

Reply via email to