export module foo;

export int value() {
    return 0;
}