Out of interest, what is the `//@{ ... //@}` construct doing?  It's not easy to Google!