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