static void vcd_checkpoint_x() { functor_all_vcd_info( show_this_item_x ); }
/* * This function writes out all the traced variables, whether they * changed or not. */ static void vcd_checkpoint(void) { functor_all_vcd_info( show_this_item ); }