int c_value(void) {
    return 7;
}