Even though I am the one who suggested it, I have to say that I am not a big fan of `@@`.  I don't really have any better ideas though. =(