pub fn recv_packet_execute<ExecCtx>(
    ctx_b: &mut ExecCtx,
    module: &mut dyn Module,
    msg: MsgRecvPacket
) -> Result<(), ContextError>
where ExecCtx: ExecutionContext,