static void f() {
    printf(“imported”);
}