export module foo;

export int value() {
    return 1;
}