/* toc */
void xasfd();
void a__();
void a__1(int64_t y);
double foo(int64_t x, int64_t y, uint64_t z);
void xasfd() {
}
void a__() {
}
void a__1(int64_t y) {
}
double foo(int64_t x, int64_t y, uint64_t z) {
(3+5);
(5+6);
}