--- /dev/null
+/*
+ * SPDX-License-Identifier: LGPL-2.1-only
+ */
+
+#ifndef _UST_TEST_WEAK_LIBGCC_H
+#define _UST_TEST_WEAK_LIBGCC_H
+
+void *testlibfct1_int(void);
+void *testlibfct1_ptr(void);
+void *testlibfct1_24_bytes(void);
+
+void *testlibfct2_int(void);
+void *testlibfct2_ptr(void);
+void *testlibfct2_24_bytes(void);
+
+#endif