trip-count9.ll 11.7 KB