Message classes used by the busted-server