======
>>> main.whiley
import * from std::integer

public export method test():   
   assume MAX_VALUE == 99
>>> std/integer.whiley
package std

final int MAX_VALUE = 99
---