square := x: x x
Module.#exports[square]