export module Greeter;
import std;
// Not inline: the string has to come out of libgreeter.a, so a consumer that
// only found the BMI and never linked the archive fails to load.
export std::string Greet() {
    return "hello from greeter";
}