| # Copyright (c) 2017, the R8 project authors. Please see the AUTHORS file | 
 | # for details. All rights reserved. Use of this source code is governed by a | 
 | # BSD-style license that can be found in the LICENSE file. | 
 |  | 
 | # Keep the application entry point. Get rid of everything that is not | 
 | # reachable from there. | 
 | -keep public class assumenosideeffects4.Assumenosideeffects { | 
 |   public static final int ASSUMED_VALUE_0; | 
 |   public static final int ASSUMED_VALUE_1; | 
 |   public static final long ASSUMED_VALUE_0L; | 
 |   public static final long ASSUMED_VALUE_1L; | 
 |   public static void main(...); | 
 | } | 
 |  | 
 | # Mark some methods to have no side effects. | 
 | -assumenosideeffects public class assumenosideeffects4.Assumenosideeffects { | 
 |   public static int method0(...) return assumenosideeffects4.Assumenosideeffects.ASSUMED_VALUE_1; | 
 |   public static int method1(...) return assumenosideeffects4.Assumenosideeffects.ASSUMED_VALUE_0; | 
 |   public static long method0L(...) return assumenosideeffects4.Assumenosideeffects.ASSUMED_VALUE_1L; | 
 |   public static long method1L(...) return assumenosideeffects4.Assumenosideeffects.ASSUMED_VALUE_0L; | 
 | } | 
 |  | 
 | # Allow access modification to enable minification. | 
 | -allowaccessmodification | 
 |  | 
 | # Check that methods have been discarded. | 
 | -checkdiscard class ** { | 
 |   @assumenosideeffects4.CheckDiscarded *; | 
 | } |