Fixed printing error 

Nn case if custom print int64 is not declared in print.h and print.c