decoder constructors for messages