update print.c
TODO:
put_dec(): dec convert, currently, only support 0~0xFFFF.