message <span class="message">UrlRedirect</span>
{
  required <span class="number">uint32</span> fromResourceID = 1; 
  required <span class="number">uint32</span> toResourceID   = 2; 
  <span class="comment">/** 
   * Milliseconds since Unix epoch.
   */</span>
  required <span class="number">double</span> time           = 3; 
}
