The function require can be called identically to define in the top-level execution.