module foo

total foo : Void
foo = foo