simplify uint32_to_buf