/* Question fixture. C source for the stated Linux build. Not compiled. */
int main(void) {
    return 0;
}