read_gc0_count
after_count = read_gc0_count();
before_count = read_gc0_count();
end_count = read_gc0_count();