// remove C[number]> prefixes and output messages from log file
.
$remove_all_actions;
$reg_all_actions;
$remove_all_actions;
$reg_all_actions;
$display("---> reset %d times.\n", $reset_count);
if ($reset_count < 3) $reset; else; 
$remove_all_actions;
$reg_all_actions;
$remove_all_actions;
$reg_all_actions;
.