/*
 *
 */

 void print_dump_byte(char *,long);
 void print_dump_long(char *,long);
 void print_whirling(void);