Convert Bytes to Int / uint in C
get_byte(bytes, 0)::bigint +
(get_byte(bytes, 1)::bigint << 8*1) +
(get_byte(bytes, 2)::bigint << 8*2) +
(get_byte(bytes, 3)::bigint << 8*3) +
(get_byte(bytes, 4)::bigint << 8*4) +
(get_byte(bytes, 5)::bigint << 8*5) +
(get_byte(bytes, 6)::bigint << 8*6) +
(get_byte(bytes, 7)::bigint << 8*7)