let
lsr_big_int n1 n2 =
asr_big_int (big_int_of_byte_list (byte_list_of_big_int n1)) n2