WALK_INT
if (scf_read_count_property(simple_h, WALK_INT, &count_val)
"not found. \n"), WALK_INT);
if (scf_set_count_property(tx, WALK_INT,
WALK_INT);