function anonymous(PingRequest
) {
return function readPingRequest(t) {
  return new PingRequest(
    
  );
};
}