c34fd89c471ace3d68abe19e4617a355f70b4323
-rw-r--r-- 2573 der_decode_integer.c
-rw-r--r-- 3624 der_encode_integer.c
-rw-r--r-- 2068 der_length_integer.c