#include <endian.h>

uint32_t htole32(uint32_t host_32bits)
{
#if __BYTE_ORDER == __BIG_ENDIAN
	return __builtin_bswap32(host_32bits);
#else
	return host_32bits;
#endif
}