module M {
    fun foo(): u64 {
        1 + ::global_value
    }
}