#ifndef BIG_ENDIAN_H
#define BIG_ENDIAN_H
#include <stdint.h>

void to_big_endian(uint64_t num, unsigned char *result);

uint64_t from_big_endian(unsigned char *num);

#endif