#define NO_UINT32_MACROS
#include "uint32.h"
#include <endian.h>

void uint32_pack(char *out,uint32 in) {
  *out=in&0xff; in>>=8;
  *++out=in&0xff; in>>=8;
  *++out=in&0xff; in>>=8;
  *++out=in&0xff;
}