package tests var abs nat func (n nat) Add() nat { return []Word{0} } func GetAbs() nat { abs = []Word{0} return abs } func AbsAdd() nat { rt := GetAbs().Add() return rt }