let byte_list_of_big_int n =
let base = Big_int.big_int_of_int 0x100 in
let rec continue i n =
if i >= 8 then
[]
else
match Big_int.quomod_big_int n base with
q, r ->
Big_int.int_of_big_int r::continue (i + 1) q
in
continue 0 n