original_kernel/lib/bcd.c