Created this to hold (get-coll a:int) function