Hmm, I've not seen those before. We don't use them too much elsewhere in the repository (rbd.cc being the notable exception); we can move in that direction if we want but should publicize it to everybody if so.