(define (write-u32 x)
  (display
   (string (char (arithmetic-shift x -24))
           (char (arithmetic-shift x -16))
           (char (arithmetic-shift x  -8))
           (char x))))