#define NO_UINT32_MACROS
#include "uint32.h"
void uint32_pack_big(char *out,uint32 in) {
out[3]=(char)in; in>>=8;
out[2]=(char)in; in>>=8;
out[1]=(char)in; in>>=8;
out[0]=(char)in;
}