vector clock plus message decorators