======
>>> main.whiley
import CONSTANT from other
public export method test():
    assume CONSTANT == 456
>>> other.whiley
public final int CONSTANT = 456
---