module Import

use "export"

export foo_wrapper

func foo_wrapper() -> string:
    z <- Export.foo()
    <- z