/MARKER_FOR_SED_SCRIPT/{
N
h
N
h
N
h
N
h
s/MARKER_FOR_SED_SCRIPT.*/& \
if (ignore_perm) \
    ((JRD_REQ)request)->req_flags |= req_ignore_perm; /
}
/MARKER_FOR_SED_SCRIPT/D