module foo

total foo : _|_
foo = foo