Problem: server can't receive decoded message via generated codec.