tests/run-make-fulldeps/extern-fn-mangle/test.c

#include <stdint.h>

uint32_t foo();
uint32_t bar();

uint32_t add() {
        return foo() + bar();
}