int value() {
    return FROM_INIT;
}

int main() {
    return value();
}