write_to_stream
Description:
Write the header to the specified stream.
Parameters:
| this | 
           a Header  | 
      
| options | 
           a FormatOptions or null  | 
      
| stream | 
           a Stream  | 
      
Returns:
| 
           the number of bytes written, or %-1 on fail.  |