Author sketch of a decompiler-style view.
Not produced by Ghidra. Not the original source. Not a disassembly.

int recovered(int value) {
    if (value == 7) {
        return 1;
    }
    return 0;
}

Compare this sketch with compare.c.
The source function is named mark and its parameter is named x.
This sketch uses recovered and value.
The decision has the same shape. The text is not the source file.
No address from a Ghidra listing belongs on this card.