realm_method38d.gno

 1package tests
 2
 3var abs nat
 4
 5func (n nat) Add() nat {
 6	return []Word{0}
 7}
 8
 9func GetAbs() nat {
10	abs = []Word{0}
11
12	return abs
13}
14
15func AbsAdd() nat {
16	rt := GetAbs().Add()
17
18	return rt
19}