/* XXX: is this the right place for these macros? */