trip-count13.ll 2.46 KB