static inline int
Foo(void) {
    return 42;
}