export module Ok;

export int ok() {
    return 42;
}