export module hello;
import <iostream>;

export void greeting() { std::cout < "Hello, world\n"; }