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	crossing()
11
12	abs = []Word{0}
13	return abs
14}
15
16func AbsAdd() nat {
17	crossing()
18
19	rt := GetAbs().Add()
20	return rt
21}