static void vnc_write_u32(VncState *vs, uint32_t value)

{

    uint8_t buf[4];



    buf[0] = (value >> 24) & 0xFF;

    buf[1] = (value >> 16) & 0xFF;

    buf[2] = (value >>  8) & 0xFF;

    buf[3] = value & 0xFF;



    vnc_write(vs, buf, 4);

}

static void vnc_write_u32(VncState *vs, uint32_t value)

{

    uint8_t buf[4];



    buf[0] = (value >> 24) & 0xFF;

    buf[1] = (value >> 16) & 0xFF;

    buf[2] = (value >>  8) & 0xFF;

    buf[3] = value & 0xFF;



    vnc_write(vs, buf, 4);

}

static void FUNC_0(VncState *VAR_0, uint32_t VAR_1)

{

    uint8_t buf[4];



    buf[0] = (VAR_1 >> 24) & 0xFF;

    buf[1] = (VAR_1 >> 16) & 0xFF;

    buf[2] = (VAR_1 >>  8) & 0xFF;

    buf[3] = VAR_1 & 0xFF;



    vnc_write(VAR_0, buf, 4);

}

static void FUNC_0(VncState *VAR_0, uint32_t VAR_1)
{ uint8_t buf[4]; buf[0] = (VAR_1 >> 24) & 0xFF; buf[1] = (VAR_1 >> 16) & 0xFF; buf[2] = (VAR_1 >>  8) & 0xFF; buf[3] = VAR_1 & 0xFF; vnc_write(VAR_0, buf, 4); }