1void do_create_icount(int argc, char **argv); 2void do_free_icount(int argc, char **argv); 3void do_fetch(int argc, char **argv); 4void do_increment(int argc, char **argv); 5void do_decrement(int argc, char **argv); 6void do_store(int argc, char **argv); 7void do_get_size(int argc, char **argv); 8void do_dump(int argc, char **argv); 9void do_validate(int argc, char **argv); 10 11