// GENERATED FILE
// ...
// it's not, it's a hand-written test, but we want to assume it is one.

static void f(void) {
    int i;

    i = 123;
}