This package just contains message definitions for the cart_pushing stack.