inline int util_helper() {
    return 7;
}