original.name="Reference_Valid_40"
======
>>> main.whiley
type map is int[]

method sum(&map m) -> int:
    int r = 0
    //
    for i in 0..|*m|:
        r = r + (*m)[i]
    //
    return r

public export method test():
    int s1 = sum(new [])
    int s2 = sum(new [1])
    int s3 = sum(new [2,3])
    //
    assume s1 == 0
    assume s2 == 1
    assume s3 == 5
    
---