I think I'd rather this function were stuck in the header; we really want it to be inlined anywhere it's accessed.