trip-count9.ll 11.4 KB