module;

#include <public_config.h>

module mod;

int foo() {
    return PUBLIC_CONFIG_VALUE;
}