#include <stdio.h>

typedef int f_baz(int x);

f_baz foo;
f_baz bar;

int foo(int x) {
    puts("foo");
    return x;
  }

int bar(int x) {
    puts("bar");
    return x;
  }

void somefunc(f_baz * baz, int y) {
    int vla[baz(y)];

    puts("somefunc");
    printf("sizeof vla == %zu\n", sizeof vla);
    return;
  }

int main(void) {
    somefunc(foo, 13);
    somefunc(bar, 42);
    return 0;
  }